acats

github.comtool

The Ada Conformity Assessment Test Suite, customised for GCC.

from

Ada/SPARK

added

2026-10-10

likes

0

Ada/SPARK › Tools > Verification: “The Ada Conformity Assessment Test Suite, customised for GCC.”