diff --git a/doc/developer/advance.tex b/doc/developer/advance.tex index 91c8e28c36120e62de749eac8174f2c34f15399a..b72c6e159f18d91636b3c4064b7b6db58b1ea0c8 100644 --- a/doc/developer/advance.tex +++ b/doc/developer/advance.tex @@ -990,6 +990,10 @@ file, run it only once. test & \textit{None} \\ +& \texttt{TIMEOUT}\nscodeidxdef{Test!Directive}{TIMEOUT} +& kill the test after the given duration and report a failure +& \textit{None} +\\ \hline \multirow{2}{23mm}{\centering{Test suite}} & \texttt{DONTRUN}\nscodeidxdef{Test!Directive}{DONTRUN} & Do not execute this test