gnat-coverage
Adav24.0.0
A coverage analysis tool for Ada and C programs, supporting object code and source-level coverage metrics including MC/DC.
47 stars12 forks0 contributors
Overview
GNATcoverage: Coverage Analysis Tool
Related Projects
spark-2014SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Stars328
Forks47
Last commit1 day ago
acatsThe Ada Conformity Assessment Test Suite, customised for GCC.
Stars12
Forks3
Last commit2 years ago
acats-gradingTools for grading ACATS results, modified for Unix-like systems
Stars4
Forks1
Last commit2 years ago
adacontrolAda constructs lint tool
Stars0
Forks0
Last commit
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.