26.2 Switches for gnattest

--harness-only

When this option is given, gnattest creates a harness for all sources, treating them as test packages.

--additional-tests=projname

Sources described in projname are considered potential additional manual tests to be added to the test suite.

-r

Recursively consider all sources from all projects.

-Xname=value

Indicate that external variable name has the value value.

-q

Suppresses noncritical output messages.

-v

Verbose mode: generates version information.

--liskov

Enables Liskov verification: run all tests from all parents in order to check substitutability.

--stub-default=val

Specifies the default behavior of generated stubs. val can be either "fail" or "pass", "fail" being the default.

--separate-root=dirname

The directory hierarchy of tested sources is recreated in the dirname directory, and test packages are placed in corresponding directories.

--subdir=dirname

Test packages are placed in subdirectories. This is the default output mode since it does not require any additional input from the user. Subdirectories named "tests" will be created by default.

--separate_root and --subdir switches are mutually exclusive.