Producing binary traces with gnatcov run

Attention

Support for coverage of non-instrumented programs (i.e. Binary Traces) is deprecated and will disappear after GNATcoverage 26 releases. You are encouraged to migrate to instrumentation-based coverage, see Producing source traces with gnatcov instrument for more information.

The simplest way to produce binary traces for GNATcoverage is to run the program in an environment that knows how to produce such traces directly. For bare metal environments operating within GNATemulator, the gnatcov run command is available for this purpose.

• Compilation prerequisites
  • General rules
  • Consolidation related rules
• gnatcov run command line
• Execution environment
• Program selection and Arguments passing
• Trace file contents