CHECK-TRACING
Syntax
CHECK-TRACING [on|off]
Variable
VT_CHECK_TRACING
Default
off
Description
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.