Rework the doc of model-check/replay, and add an example with sthread

[simgrid.git] / examples / smpi / replay / actions_bcast.txt

diff --git a/examples/smpi/replay/actions_bcast.txt b/examples/smpi/replay/actions_bcast.txt
index f392b82321c2a2e974ba55335f97b5548ed3a02a..4aeb8550e51a57ddb52b9949c7725c9ea4c969a8 100644 (file)
--- a/examples/smpi/replay/actions_bcast.txt
+++ b/examples/smpi/replay/actions_bcast.txt
@@ -2,25 +2,25 @@
 1 init
 2 init
 
-0 bcast 5e8
-1 bcast 5e8
-2 bcast 5e8
+0 bcast 5e4
+1 bcast 5e4
+2 bcast 5e4
 
 0 compute 5e8
 1 compute 2e8
 2 compute 5e8
 
-0 bcast 5e8
-1 bcast 5e8
-2 bcast 5e8
+0 bcast 5e4
+1 bcast 5e4
+2 bcast 5e4
 
 0 compute 5e8
 1 compute 2e8
 2 compute 5e8
 
-0 reduce 5e8 5e8
-1 reduce 5e8 5e8
-2 reduce 5e8 5e8
+0 reduce 5e4 5e8
+1 reduce 5e4 5e8
+2 reduce 5e4 5e8
 
 0 finalize
 1 finalize