traceFileName property

set traceFileName (File file)

What file to store the trace messages in.

Defaults to 'z3.log'.

Implementation

set traceFileName(File file) => this['trace_file_name'] = file.path;