traceFileName property
What file to store the trace messages in.
Defaults to 'z3.log'.
Implementation
set traceFileName(File file) => this['trace_file_name'] = file.path;
What file to store the trace messages in.
Defaults to 'z3.log'.
set traceFileName(File file) => this['trace_file_name'] = file.path;