Commit 8d5841a1 authored by Virgile Prevosto's avatar Virgile Prevosto

[devman] coherence between description of LOG and STDOPT directives

parent 9a757dff
......@@ -1072,8 +1072,8 @@ the sequence above is read in order and defines a configuration level
\texttt{CMD}\nscodeidx{Test!Directive}{CMD} is the last
\texttt{CMD} directive of the preceding configuration level.
\item \texttt{LOG} adds a file to be compared against an oracle in the
next \texttt{OPT} directive. Several files can be monitored from a single
\texttt{OPT} directive, through several \texttt{LOG} directives.
next \texttt{OPT} or \texttt{STDOPT} directive. Several files can be monitored from a single
\texttt{OPT}/\texttt{STDOPT} directive, through several \texttt{LOG} directives.
These files must be generated in the result
directory of the corresponding suite (and potentially alternative
configuration).
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment