From 90ac00335e039a34568653e25070614b4458b45f Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Tue, 27 Sep 2022 10:25:23 +0200
Subject: [PATCH] [Doc] devman: more ptests-related fixes/improvements
---
doc/developer/advance.tex | 23 +++++++++++------------
1 file changed, 11 insertions(+), 12 deletions(-)
diff --git a/doc/developer/advance.tex b/doc/developer/advance.tex
index d92f84dfca9..b507afc33b7 100644
--- a/doc/developer/advance.tex
+++ b/doc/developer/advance.tex
@@ -481,6 +481,9 @@ below, each \verb|STDOPT| directive defines a test case.
\end{lstlisting}
You can combine \verb|DEPS| and \verb|%{dep:}| as you wish in your tests.
+Prefer \verb|%{dep:}| for local dependencies, since it does not accumulate
+towards following tests, and \verb|DEPS| for dependencies which are common to
+several tests.
Note that forgetting to specify dependencies can lead to test failures in
unexpected ways, such as the dependencies not being copied to Dune's test
@@ -700,21 +703,17 @@ In the following, we detail some aspects of several directives.
EXECNOW: [ [ LOG file | BIN file ] ... ] cmd
\end{code}
Files after \texttt{LOG} are log files generated by command \texttt{cmd} and
- compared from oracles, whereas files after \texttt{BIN} are binary files also
- generated by \texttt{cmd} but not compared from oracles. Full access path to
- these files have to be specified only in \texttt{cmd}. All the commands
- described by \texttt{EXECNOW} directives are executed in
- order and
- before running any of the other directives. If the execution of
- one \texttt{EXECNOW} directive fails ({\it i.e.} has a
- non-zero return
- code), the remaining actions are not executed.
+ compared from oracles, whereas files after \texttt{BIN} are binary files, also
+ generated by \texttt{cmd}, but not compared to any oracles. Full access path to
+ these files has to be specified only in \texttt{cmd}. Execution order between
+ different \texttt{OPT}/\texttt{STDOPT}/\texttt{EXECNOW} directives is
+ unspecified, unless there are dependencies between them (see \texttt{DEPS}
+ directive).
\texttt{EXECNOW} directives from a given level are added to the directives of
the following levels.
- \textbf{Note:} An \texttt{EXECNOW} command without \verb|LOG| outputs nor
- \verb|BIN| outputs will not be be executed by Dune, since there is no output
- to consume.
+ \textbf{Note:} An \texttt{EXECNOW} command without \verb|BIN| and without
+ \verb|LOG| will not be be executed by Dune; a warning is emitted in this case.
\item The \texttt{MACRO}\nscodeidx{Test!Directive}{MACRO} directive
has the following syntax:
--
GitLab