You've already forked gnatcoverage
mirror of
https://github.com/AdaCore/gnatcoverage.git
synced 2026-02-12 12:44:55 -08:00
This module contain utilities function to test the integrated instrumentation feature of gnatcov. Also modify the integrated instrumentation tests to use it. Fix the uncovered regressions on the gnatcov side.