26.3 Project Attributes for gnattest
Most of the command-line options can also be passed to the tool by adding
special attributes to the project file. Those attributes should be put in
package gnattest. Here is the list of attributes:
is used to select the same output mode as with the –separate-root option.
This attribute cannot be used together with Stub_Subdir.
is used to select the same output mode as with the –subdir option.
This attribute cannot be used together with Separate_Stub_Root.
is used to specify the directory in which to place harness packages and project
file for the test driver, otherwise specified by –harness-dir.
is used to specify the project file, otherwise given by
is used to specify the default behaviour of test stubs, otherwise
specified by –stub-default option. The value of this attribute
should be either "pass" or "fail".
Each of those attributes can be overridden from the command line if needed.
Other gnattest switches can also be passed via the project
file as an attribute list called GNATtest_Switches.