dogear

enter for all results · esc to close

gnat-coverage

github.comtool

GNATcoverage is a tool to analyze and report program coverage.

visit github.com ↗
0
sign in to dogear this
from
Ada/SPARK
added
2026-10-10
likes
0

similar

  1. gnatbdd github.com
    tool category #ada link ↗

    Behavior Driven Development in Ada.

  2. gnat-ce (discontinued) github.com
    tool category #ada link ↗

    GNAT Community edition. A release of AdaCore GNAT for free software developers, hobbyists, and students. The run-time libraries provided with GNAT Community are licensed under GPLv3 without linking exception. It supports Ada 2012 only.

  3. gnat-pro adacore.com
    site category #ada link ↗

    The GNAT Pro product line offers a comprehensive toolset (IDEs, debugger, librairies, dynamic and static analysis tools) for Ada, C and C++.

  4. gnat-patches github.com
    tool category #ada link ↗

    Curated GCC/GNAT patchsets against checksum-pinned upstream sources, each backed by an executable regression, published as patched native toolchain builds for GCC 13 through 16.

  5. XcodeCoverage github.com
    tool category #ios link ↗

    Code coverage for Xcode projects.

  6. gulp-coverage github.com
    tool category #gulp link ↗

Ada/SPARK › Tools > Verification: “GNATcoverage is a tool to analyze and report program coverage.”