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.

For more complete information about compiler optimizations, see our Optimization Notice.
Select sticky button color: 
Orange (only for download buttons)