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

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

diff --git a/examples/smpi/replay/actions_alltoallv.txt b/examples/smpi/replay/actions_alltoallv.txt
index cd4f95c3ae8bfb4c0ae09b1b2a84f74b2c361dff..db45ec9785998e0ead400fc0449c2e2cacc6bee8 100644 (file)
--- a/examples/smpi/replay/actions_alltoallv.txt
+++ b/examples/smpi/replay/actions_alltoallv.txt
@@ -2,10 +2,9 @@
 1 init
 2 init
 
-0 allToAllV 100 1 40 30 1 20 150 1000 1 80 100 1 20 110
-1 allToAllV 1000 80 1 40 1 100 160 1000 40 1 30 10 70 140
-2 allToAllV 1000 100 30 1 1 120 150 1000 30 40 1 1 50 60
-
+0 alltoallv 100 1 40 30 1000 1 80 100
+1 alltoallv 1000 80 1 40 1000 40 1 30
+2 alltoallv 1000 100 30 1 1000 30 40 1
 
 0 finalize
 1 finalize