Coverage Assessments with gnatcov coverageΒΆ

Once a program was run and execution traces are available, the gnatcov coverage command line allows assessing the achieved coverage with respect to a range of possible criteria, producing reports in a variety of possible formats.