acats-grading

github.comtool

Tools for grading ACATS results, modified for Unix-like systems.

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲

   acats github.com

   The Ada Conformity Assessment Test Suite, customised for GCC.

   tool link ↗
   
2. ▲

   aunit github.com

   Ada unit testing framework.

   tool link ↗
   
3. ▲

   cvsweb2git github.com

   Tool to imports CVS repository shared on Ada Conformity Assessment Authority into the Git repository.

   tool topic programming link ↗
   
4. ▲

   gela github.com

   Ada code analyzer.

   tool link ↗
   tool
5. ▲

   testy github.com

   Ada testing framework, part of Tada.

   tool link ↗
   
6. ▲

   agpl github.com

   Ada General Purpose Library (Miscellaneous utilities, with a robotic flavor).

   tool link ↗
   

Ada/SPARK › Tools > Verification: “Tools for grading ACATS results, modified for Unix-like systems.”