Rework the doc of model-check/replay, and add an example with sthread

[simgrid.git] / tools / tesh / catch-timeout-output.tesh

diff --git a/tools/tesh/catch-timeout-output.tesh b/tools/tesh/catch-timeout-output.tesh
index 227d93c77a673ca903ad62472e543314dcf0c06a..e3085808061fcceb07a7b828320a7cda497e45df 100644 (file)
--- a/tools/tesh/catch-timeout-output.tesh
+++ b/tools/tesh/catch-timeout-output.tesh
@@ -14,6 +14,7 @@
 > @@ -0,0 +1 @@
 > +I crashed
 > Test suite `(stdin)': NOK (<(stdin):2> output mismatch)
 > @@ -0,0 +1 @@
 > +I crashed
 > Test suite `(stdin)': NOK (<(stdin):2> output mismatch)

+> In addition, <(stdin):2> got signal SIGTERM.

 $ ${bindir:=.}/tesh
 
 
 $ ${bindir:=.}/tesh