Program Execution with gnatcov run

The first step involved in performing coverage assessments with GNATcoverage is to run the program in an environment that will produce execution traces. For native Linux/Windows configurations or cross environments operating within GNATemulator, the gnatcov run command is available for this purpose.

• gnatcov run command line
• Execution environment
• Program selection and Arguments passing
• Trace File Contents