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

[simgrid.git] / examples / smpi / replay_multiple_manual_deploy / coll / actions0.txt

diff --git a/examples/smpi/replay_multiple_manual_deploy/coll/actions0.txt b/examples/smpi/replay_multiple_manual_deploy/coll/actions0.txt
index 53c4fd516fbc3c39df005cf4ac1db36dc38df406..c2a90daec163a3babd7018366b50c94806664efe 100644 (file)
--- a/examples/smpi/replay_multiple_manual_deploy/coll/actions0.txt
+++ b/examples/smpi/replay_multiple_manual_deploy/coll/actions0.txt
@@ -1,7 +1,7 @@
 0 init
 0 compute 1e9
 0 bcast 1 0 1
-0 alltoall 134217728 134217728 26 26
+0 alltoall 13421772 13421772 26 26
 0 barrier
 0 reduce 16 0 0 26
 0 finalize