GNATcoverage
E956203
UNEXPLORED
GNATcoverage is an AdaCore tool that measures and reports structural code coverage for Ada and other languages, supporting rigorous verification and certification needs.
All labels observed (1)
| Label | Occurrences |
|---|---|
| GNATcoverage canonical | 1 |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.