Producing binary traces with gnatcov run

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 bareboard 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