A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[mc] Add tests to show that DPOR is guilty of mutex mis-handling
[simgrid.git]
/
tools
/
tesh
/
IO-orders.tesh
diff --git
a/tools/tesh/IO-orders.tesh
b/tools/tesh/IO-orders.tesh
index
4862eb1
..
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
< < TOTO
< > TOTO
< $ cat
-> [0.000000] [tesh/INFO] Test suite from stdin
-> [0.000000] [tesh/INFO] [stdin:3] cat
-> [0.000000] [tesh/INFO] Test suite from stdin OK
-$ ./tesh
+> Enable coverage
+> Test suite from stdin
+> [(stdin):3] cat
+> Test suite from stdin OK
+$ ./tesh --enable-coverage --log='log.thresh:info tesh.fmt:%m%n'
p Order: out, in, cmd
< > TOTO
< < TOTO
< $ cat
p Order: out, in, cmd
< > TOTO
< < TOTO
< $ cat
-> [0.000000] [tesh/INFO] Test suite from stdin
-> [0.000000] [tesh/INFO] [stdin:3] cat
-> [0.000000] [tesh/INFO] Test suite from stdin OK
-$ ./tesh
+> Enable coverage
+> Test suite from stdin
+> [(stdin):3] cat
+> Test suite from stdin OK
+$ ./tesh --enable-coverage --log='log.thresh:info tesh.fmt:%m%n'
p Order: out, cmd, in
< > TOTO
< $ cat
< < TOTO
p Order: out, cmd, in
< > TOTO
< $ cat
< < TOTO
-> [0.000000] [tesh/INFO] Test suite from stdin
-> [0.000000] [tesh/INFO] [stdin:2] cat
-> [0.000000] [tesh/INFO] Test suite from stdin OK
-$ ./tesh
+> Enable coverage
+> Test suite from stdin
+> [(stdin):2] cat
+> Test suite from stdin OK
+$ ./tesh --enable-coverage --log='log.thresh:info tesh.fmt:%m%n'
p Order: in, cmd, out
< < TOTO
< $ cat
< > TOTO
p Order: in, cmd, out
< < TOTO
< $ cat
< > TOTO
-> [0.000000] [tesh/INFO] Test suite from stdin
-> [0.000000] [tesh/INFO] [stdin:2] cat
-> [0.000000] [tesh/INFO] Test suite from stdin OK
-$ ./tesh
+> Enable coverage
+> Test suite from stdin
+> [(stdin):2] cat
+> Test suite from stdin OK
+$ ./tesh --enable-coverage --log='log.thresh:info tesh.fmt:%m%n'
p Order: cmd, out, in
< $ cat
< > TOTO
< < TOTO
p Order: cmd, out, in
< $ cat
< > TOTO
< < TOTO
-> [0.000000] [tesh/INFO] Test suite from stdin
-> [0.000000] [tesh/INFO] [stdin:1] cat
-> [0.000000] [tesh/INFO] Test suite from stdin OK
-$ ./tesh
+> Enable coverage
+> Test suite from stdin
+> [(stdin):1] cat
+> Test suite from stdin OK
+$ ./tesh --enable-coverage --log='log.thresh:info tesh.fmt:%m%n'
p Order: cmd, in, out
< $ cat
< < TOTO
< > TOTO
p Order: cmd, in, out
< $ cat
< < TOTO
< > TOTO
->
[0.000000] [tesh/INFO] Test suite from stdin
->
[0.000000] [tesh/INFO] [stdin:1] cat
-> [
0.000000] [tesh/INFO] Test suite from stdin OK
-$ ./tesh
-
+>
Enable coverage
+>
Test suite from stdin
+> [
(stdin):1] cat
+> Test suite from stdin OK
+$ ./tesh --enable-coverage --log='log.thresh:info tesh.fmt:%m%n'