Download Plug-In development guide

6.4. TESTING
Kind
Name
Specication
CMD
OPT
STDOPT
Command
default
Options given to the program
./bin/toplevel.opt
-val -out -input -deps
Add and remove options from
None
Program to run
the default set
EXECNOW
Run a command before the
None
following commands
FILTER
Command used to lter re-
None
sults
DONTRUN
FILEREG
COMMENT
GCC
Test suite
Miscellaneous
Do not execute this test
None
selects the les to test
.*\.\(c|i\)
Comment in the conguration
None
Unused (compatibility only)
None
Figure 6.12: Directives in conguration headers of test les.
For a given test
tests/suite/test.ml,
each existing le in the sequence above is read in
order and denes a conguration level (the default conguration level always exists).
• CMD
allows to change the command that is used for the following
new
CMD directive is found).
OPT
directives (until a
OPT directive.
CMD is the last CMD directive
No test case is generated if there is no further
At a given conguration level, the default value for directive
of the preceding conguration level.
•
If there are several directives
dierent test cases.
The
OPT
OPT
in the same conguration level, they correspond to
directive(s) of a given conguration level replace(s) the
ones of the preceding level.
•
The
STDOPT
directive takes as default set of options the last
OPT
directive(s) of the
preceding conguration level. If the preceding conguration level contains several
directives, hence several test cases,
STDOPT
OPT
is applied to each of them, leading to the
same number of test cases. The syntax for this directive is the following.
STDOPT: [[+-]"opt" ...]
options are always given between quotes. An option following a
set of options while an option following a
-
+ is added to the current
is removed from it. The directive can be
empty (meaning that the corresponding test will use the standard set of options). As
with
•
OPT,
each
STDOPT
corresponds to a dierent (set of ) test case(s).
The syntax for directive
EXECNOW
is the following.
EXECNOW: [ [ LOG file | BIN file ] ... ] cmd
Files after
LOG
cmd
and compared from oracles,
are binary les also generated by
but not compared from
are log les generated by command
whereas les after
BIN
93
cmd