testy

github.comtool

Ada testing framework, part of Tada.

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲
   scripted-testing github.com

   tool category #ada link ↗

   Supports functional testing using Tcl scripts.

   
2. ▲
   acats github.com

   tool category #ada link ↗

   The Ada Conformity Assessment Test Suite, customised for GCC.

   
3. ▲
   aunit github.com

   tool category #ada link ↗

   Ada unit testing framework.

   
4. ▲
   tictactoe github.com

   tool category #ada link ↗

   A tictactoe game written and proven in SPARK/Ada.

5. ▲
   ahven ahven.stronglytyped.org

   site category #ada link ↗

   A simple unit test library and framework for the Ada programming. language. It is loosely modelled after JUnit and some ideas from AUnit.

6. ▲
   spark-2014 github.com

   tool category #ada link ↗

   SPARK formal verification toolset.

   

Ada/SPARK › Frameworks > Unit Test, Testing: “Ada testing framework, part of Tada.”