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 |
How this entity was disambiguated
This entity first appeared as the object of triple T11958617 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: GNATcoverage Context triple: [AdaCore, product, GNATcoverage]
-
A.
gcov
gcov is a test coverage analysis tool used with GCC to measure and report how much of a program’s source code is executed during runtime.
-
B.
dotCover
dotCover is a .NET unit test runner and code coverage tool designed to help developers measure and improve test coverage in Visual Studio.
-
C.
lcov
lcov is a graphical front-end and extension for the gcov code coverage tool that collects, processes, and visualizes test coverage data for C and C++ programs.
-
D.
GNATmake
GNATmake is the GNAT Ada compiler’s build tool that automatically manages multi-file project compilation and dependency tracking.
-
E.
gnat
GNAT is a free, open-source Ada compiler and toolchain that is part of the GNU Compiler Collection (GCC).
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: GNATcoverage Target entity description: GNATcoverage is an AdaCore tool that measures and reports structural code coverage for Ada and other languages, supporting rigorous verification and certification needs.
-
A.
gcov
gcov is a test coverage analysis tool used with GCC to measure and report how much of a program’s source code is executed during runtime.
-
B.
dotCover
dotCover is a .NET unit test runner and code coverage tool designed to help developers measure and improve test coverage in Visual Studio.
-
C.
lcov
lcov is a graphical front-end and extension for the gcov code coverage tool that collects, processes, and visualizes test coverage data for C and C++ programs.
-
D.
GNATmake
GNATmake is the GNAT Ada compiler’s build tool that automatically manages multi-file project compilation and dependency tracking.
-
E.
gnat
GNAT is a free, open-source Ada compiler and toolchain that is part of the GNU Compiler Collection (GCC).
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.