model-checker : get hash of local and global variables which are not pointers

[simgrid.git] / tools / tesh / IO-orders.tesh

diff --git a/tools/tesh/IO-orders.tesh b/tools/tesh/IO-orders.tesh
index 80cc596..28be9c2 100644 (file)
--- a/tools/tesh/IO-orders.tesh
+++ b/tools/tesh/IO-orders.tesh
@@ -5,53 +5,58 @@ p Order: in, out, cmd
 < < TOTO
 < > TOTO
 < $ cat
+> Enable coverage
 > Test suite from stdin
-> [stdin:3] cat
+> [(stdin):3] cat
 > Test suite from stdin OK
-$ ./tesh --log='log.thresh:info tesh.fmt:%m%n'
+$ ./tesh --enable-coverage --log='log.thresh:info tesh.fmt:%m%n'
 
 p Order: out, in, cmd
 < > TOTO
 < < TOTO
 < $ cat
+> Enable coverage
 > Test suite from stdin
-> [stdin:3] cat
+> [(stdin):3] cat
 > Test suite from stdin OK
-$ ./tesh --log='log.thresh:info tesh.fmt:%m%n'
+$ ./tesh --enable-coverage --log='log.thresh:info tesh.fmt:%m%n'
 
 p Order: out, cmd, in
 < > TOTO
 < $ cat
 < < TOTO
+> Enable coverage
 > Test suite from stdin
-> [stdin:2] cat
+> [(stdin):2] cat
 > Test suite from stdin OK
-$ ./tesh --log='log.thresh:info tesh.fmt:%m%n'
+$ ./tesh --enable-coverage --log='log.thresh:info tesh.fmt:%m%n'
 
 p Order: in, cmd, out
 < < TOTO
 < $ cat
 < > TOTO
+> Enable coverage
 > Test suite from stdin
-> [stdin:2] cat
+> [(stdin):2] cat
 > Test suite from stdin OK
-$ ./tesh --log='log.thresh:info tesh.fmt:%m%n'
+$ ./tesh --enable-coverage --log='log.thresh:info tesh.fmt:%m%n'
 
 p Order: cmd, out, in
 < $ cat
 < > TOTO
 < < TOTO
+> Enable coverage
 > Test suite from stdin
-> [stdin:1] cat
+> [(stdin):1] cat
 > Test suite from stdin OK
-$ ./tesh --log='log.thresh:info tesh.fmt:%m%n'
+$ ./tesh --enable-coverage --log='log.thresh:info tesh.fmt:%m%n'
 
 p Order: cmd, in, out
 < $ cat
 < < TOTO
 < > TOTO
+> Enable coverage
 > Test suite from stdin
-> [stdin:1] cat
+> [(stdin):1] cat
 > Test suite from stdin OK
-$ ./tesh --log='log.thresh:info tesh.fmt:%m%n'
-
+$ ./tesh --enable-coverage --log='log.thresh:info tesh.fmt:%m%n'