Producing binary traces with gnatcov run

When the project context allows it, 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 native Linux/Windows configurations or cross/bareboard environments operating within GNATemulator, the gnatcov run command is available for this purpose.

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