Generate the TLC execution report.
Category: Code Generation
Default: off
Generates .log
files containing the number of times each line
of TLC code is executed during code generation.
Does not generate a report.
You can also generate the TLC execution report by entering the -dg
argument into the System target file field.
Parameter:
TLCCoverage |
Type: character vector |
Value:
'on' | 'off' |
Default:
'off'
|
Application | Setting |
---|---|
Debugging | On |
Traceability | No impact |
Efficiency | No impact |
Safety precaution | No impact |