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
model-checker : get offset for each different byte between two blocks/fragments
[simgrid.git]
/
tools
/
tesh
/
IO-orders.tesh
diff --git
a/tools/tesh/IO-orders.tesh
b/tools/tesh/IO-orders.tesh
index
14db63d
..
7948316
100644
(file)
--- a/
tools/tesh/IO-orders.tesh
+++ b/
tools/tesh/IO-orders.tesh
@@
-5,53
+5,59
@@
p Order: in, out, cmd
< < TOTO
< > TOTO
< $ cat
< < TOTO
< > TOTO
< $ cat
+> Enable coverage
> Test suite from stdin
> [(stdin):3] cat
> Test suite from stdin OK
> Test suite from stdin
> [(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
p Order: out, in, cmd
< > TOTO
< < TOTO
< $ cat
+> Enable coverage
> Test suite from stdin
> [(stdin):3] cat
> Test suite from stdin OK
> Test suite from stdin
> [(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
p Order: out, cmd, in
< > TOTO
< $ cat
< < TOTO
+> Enable coverage
> Test suite from stdin
> [(stdin):2] cat
> Test suite from stdin OK
> Test suite from stdin
> [(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
p Order: in, cmd, out
< < TOTO
< $ cat
< > TOTO
+> Enable coverage
> Test suite from stdin
> [(stdin):2] cat
> Test suite from stdin OK
> Test suite from stdin
> [(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
p Order: cmd, out, in
< $ cat
< > TOTO
< < TOTO
+> Enable coverage
> Test suite from stdin
> [(stdin):1] cat
> Test suite from stdin OK
> Test suite from stdin
> [(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
p Order: cmd, in, out
< $ cat
< < TOTO
< > TOTO
+> Enable coverage
> Test suite from stdin
> [(stdin):1] cat
> Test suite from stdin OK
> Test suite from stdin
> [(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'