TraceFile resource

Gives the name of the file that data stream and event traces will be written into.

If the name begins with >>, the >> will be removed and the data will be appended to the file.

If the name is stdout, traces will be written to standard output.

The default value on POSIX is: traceDir/x3trc.$UNIQUE On Windows, the default value is: traceDir\x3trc.$UNIQUE.txt Within the trace file name, the string $UNIQUE is replaced by the process ID of the emulator process, plus a numeric suffix, if needed, to ensure it is a unique name.