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

libVT

and 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.