model-checker: new examples for liveness model checking

[simgrid.git] / examples / msg / chord / chord.tesh

diff --git a/examples/msg/chord/chord.tesh b/examples/msg/chord/chord.tesh
index 77e9cf3..776f4af 100644 (file)
--- a/examples/msg/chord/chord.tesh
+++ b/examples/msg/chord/chord.tesh
@@ -3,7 +3,7 @@
 p Testing the Chord implementation with MSG
 
 ! output sort
-$ $SG_TEST_EXENV ./chord$EXEEXT -nb_bits=6 ${srcdir:=.}/../msg_platform.xml ${srcdir:=.}/chord.xml --log=msg_chord.thres:verbose "--log=root.fmt:[%10.6r]%e(%i:%P@%h)%e%m%n"
+$ $SG_TEST_EXENV ${bindir:=.}/chord$EXEEXT -nb_bits=6 ${srcdir:=.}/../msg_platform.xml ${srcdir:=.}/chord.xml --log=msg_chord.thres:verbose "--log=root.fmt:[%10.6r]%e(%i:%P@%h)%e%m%n"
 > [  0.000000] (1:node@Gatien) Joining the ring with id 48, knowing node 1
 > [  0.000000] (2:node@McGee) Joining the ring with id 42, knowing node 1
 > [  0.000000] (3:node@iRMX) Joining the ring with id 38, knowing node 1
@@ -425,5 +425,5 @@ $ $SG_TEST_EXENV ./chord$EXEEXT -nb_bits=6 ${srcdir:=.}/../msg_platform.xml ${sr
 > [547.073600] (3:node@iRMX)   54  |  38 
 > [547.073600] (3:node@iRMX)    6  |  38 
 > [547.073600] (3:node@iRMX) Predecessor: 32
-> [655.138775] (0:@) Messages created: 838
-> [655.138775] (0:@) Simulated time: 655.139
+> [649.756626] (0:@) Messages created: 838
+> [649.756626] (0:@) Simulated time: 649.757