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
Improve the final stats reported by SafetyChecker, and revalidate tesh files
[simgrid.git]
/
examples
/
cpp
/
mc-bugged2
/
s4u-mc-bugged2.tesh
diff --git
a/examples/cpp/mc-bugged2/s4u-mc-bugged2.tesh
b/examples/cpp/mc-bugged2/s4u-mc-bugged2.tesh
index
469afc1
..
036b20f
100644
(file)
--- a/
examples/cpp/mc-bugged2/s4u-mc-bugged2.tesh
+++ b/
examples/cpp/mc-bugged2/s4u-mc-bugged2.tesh
@@
-552,6
+552,4
@@
$ ${bindir:=.}/../../../bin/simgrid-mc ${bindir:=.}/s4u-mc-bugged2 ${platfdir:=.
> [ 0.000000] (0:maestro@) 3: iSend(mbox=0)
> [ 0.000000] (0:maestro@) 1: WaitComm(from 3 to 1, mbox=0, no timeout)
> [ 0.000000] (0:maestro@) Path = 1;3;1;3;1;3;1
> [ 0.000000] (0:maestro@) 3: iSend(mbox=0)
> [ 0.000000] (0:maestro@) 1: WaitComm(from 3 to 1, mbox=0, no timeout)
> [ 0.000000] (0:maestro@) Path = 1;3;1;3;1;3;1
-> [ 0.000000] (0:maestro@) Expanded states = 1006
-> [ 0.000000] (0:maestro@) Visited states = 5319
-> [ 0.000000] (0:maestro@) Executed transitions = 1006
\ No newline at end of file
+> [ 0.000000] (0:maestro@) 1006 unique states visited; 350 backtracks (5319 transition replays, 3963 states visited overall)