gnatbdd

github.comtool

Behavior Driven Development in Ada.

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲
   ada-actions github.com

   tool category #ada link ↗

   Ada Toolchains for GitHub Actions.

2. ▲
   gnat-coverage github.com

   tool category #ada link ↗

   GNATcoverage is a tool to analyze and report program coverage.

   
3. ▲
   adawebpack github.com

   tool category #ada link ↗

   GNAT RTL for WebAssembly and bindings for Web API.

4. ▲
   gprbuild github.com

   tool category #ada link ↗

   Adacore multi-language software build tool.

   
5. ▲
   ada-utilities github.com

   tool category #ada link ↗

   VSCode extension Ada programmers which provides a few utility functions.

   
6. ▲
   gela github.com

   tool category #ada link ↗

   Ada code analyzer.

Ada/SPARK › Frameworks > Unit Test, Testing: “Behavior Driven Development in Ada.”