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.

Try in SPARQL Jump to: Surface forms Referenced by

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.

AdaCore product GNATcoverage