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

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

diff --git a/examples/smpi/replay/actions1.txt b/examples/smpi/replay/actions1.txt
index 572645f701ee0567d8145a3d6dec7aa68f00720c..aa6ac7772657e2be74785b70c5fdfc70d677d7ce 100644 (file)
--- a/examples/smpi/replay/actions1.txt
+++ b/examples/smpi/replay/actions1.txt
@@ -1,7 +1,7 @@
 1 init
-1 recv 0 1e6
+1 recv 0 0 1e6
 1 compute 1e9
-1 Isend 0 1e6
-1 Irecv 0 1e6
-1 wait
+1 isend 0 1 1e6
+1 irecv 0 2 1e6
+1 wait 0 1 2
 1 finalize