The BITCOV Initiator ctc2static
Executed as a hook script during instrumentation, ctc2static initializes the BITCOV setup without a runtime library and (typically) bits as counters.
This script shall only be invoked during a ctc call using the parameter RUN_AFTER_INSTR in a configuration file (or by command-line):
RUN_AFTER_INSTR = ctc2static
With that call, the code is instrumented differently. A runtime library is no longer
used, and during instrumentation, a file MON.aux is generated
maintaining the CTC_array
offsets to source files.
A direct call or any other usage of ctc2static is never required.