Awesome

ACATS Grading

The Ada Conformity Assessment Test Suite (ACATS) isn't all that simple to use. GCC has had an old version (2.5) of ACATS for a long time now (since 2007), available at build by make -C gcc check-acats, and here on Github there's a GCC-compatible version of the latest suite (4.1U at the time of writing, 2021-04-05).

ACATS supports a test grading utility, and there's a GNAT-compatible suite of utilities to support running the tests (not conclusively, human intervention is still required!). That suite was written for Windows: this version has been modified to run on Unix-like systems (macOS and Debian stretch, so far).

Setup

As written, this suite expects to be installed next to ACATS (that is, ../ACATS finds ACATS). Set up the tools and necessary Ada source by ./setup.sh.

The originator's test rationale and procedures are described in gnatinst.txt.

Compiler

Normally, the suite will run the tests using whichever GNAT suite is first in the PATH.

The llvm branch expects to find the GNAT LLVM suite in the PATH (i.e. it looks for llvm-gnatmake, llvm-gcc).

Running

It's best to run the suite in a different directory from its own.

Note, two of the tests (CXB5004 and CXB5005) require that the compiler in use supports Fortran. If it does, and you want to run these tests, set the environment variable HAS_FORTRAN to yes.

Build the supporting code by

$ /the/tool/directory/setup-working-directory.sh

Then, run the tests by

$ /the/tool/directory/grd-all.sh

This takes about 25 minutes on a early-2015 Macbook Pro with 2.9 GHz Intel Core i5, but note that up to and including FSF GCC 10 production compilers hang in C452003.

You could just move that test out of ACATS/tests/c4.

If you don't do that, then once you've started a run on macOS or Debian (tested on stretch) and got stuck you'll need to say killall gnatmake in another terminal tab/window. At any rate on macOS, this can leave gnat1 processes around, which will also need to be killed.

To test just one chapter, say c4, replace the last line by

$ /the/tool/directory/mkacats.sh c4

The results will be in g-g{chapter}.txt (in this case, g-gc4.txt).

If you only want to check a small number of tests, copy the test code (which may consist of more than one file) into a parallel directory in the test suite - e.g., ACATS/tests/new - and say

$ /the/tool/directory/mkacats.sh new

The instructions above do a one-time copy of gnat-man.txt (the manual grading file), so you can make any necessary changes before re-running the tests.

Results

The grades for a single-chapter (or new) run will be found in <tt>g-g<i>chapter</i>.txt</tt>, e.g. g-gc4.txt. To explore any failures, look in <tt>41-<i>chapter</i>-results.txt</tt>.

For a full run, the single-chapter grades and results will be in the same files: the overall results will be in g-grade.txt.