ACATS
Ada test suite
An Ada Conformity Assessment Test Suite tailored for GCC.
The Ada Conformity Assessment Test Suite, customised for GCC.
10 stars
5 watching
1 forks
Language: Ada
last commit: 4 months ago
Linked from 1 awesome list
Related projects:
Repository | Description | Stars |
---|---|---|
simonjwright/acats-grading | Tools for automating testing and grading of ACATS results on Unix-like systems | 1 |
simonjwright/dhondt | An Ada implementation of D'Hondt electoral result calculator | 4 |
simonjwright/scripted_testing | A tool for writing and executing scripted tests using a Tcl scripting language. | 2 |
simonjwright/tcladashell | An Ada binding to Tcl/Tk for building cross-platform graphical user interfaces | 9 |
simonjwright/analytical-engine | An emulator of Charles Babbage's Analytical Engine using Ada 2012 and GMP. | 9 |
adacore/aunit | An Ada unit test framework providing a way to write and run tests for software written in the Ada programming language. | 7 |
alex-gamper/ada-winrt | A set of Ada bindings to the Microsoft Windows WinRT API | 12 |
mosteo/ajunitgen | Generates JUnit-compatible XML reports in Ada for custom test setups. | 1 |
lispci/fiveam | A testing framework for Common Lisp | 186 |
simonjwright/coldframe | A tool that generates Ada code and documentation from UML models | 9 |
jklmnn/continuous-verification | Automates Ada software verification with continuous testing and proofing | 9 |
ospector/gtest-gbar | A C# wrapper around Google Test to enhance its user interface | 131 |
jamesbarford/advent-of-code | A test suite and compiler implementation project to complete Advent of Code 2023 challenges | 0 |
guardian/coding-exercises | A repository of coding exercises used in the Guardian's recruitment process to assess a candidate's approach to solving problems and fit with the company culture. | 447 |
izhido/test262_harness_cpp | A C++ test harness for the Official ECMAScript Conformance Test Suite. | 3 |