By default, no events are recorded and no trace file is written during correctness checking with
libVTmc. This option enables recording of all events also supported by the normal
libVTand the writing of a trace file. The trace file also contains the errors found during the run.
In the normal libraries tracing is always enabled.