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

[simgrid.git] / examples / smpi / replay_multiple / ti_traces_32_1 / ti_trace1.txt

diff --git a/examples/smpi/replay_multiple/ti_traces_32_1/ti_trace1.txt b/examples/smpi/replay_multiple/ti_traces_32_1/ti_trace1.txt
index f39897a664fb530f2d852e4f4720ffac7a2e2907..b39d4860e2bcda6b053815561db777666929ff6f 100644 (file)
--- a/examples/smpi/replay_multiple/ti_traces_32_1/ti_trace1.txt
+++ b/examples/smpi/replay_multiple/ti_traces_32_1/ti_trace1.txt
@@ -56,9 +56,9 @@
 1 compute 1017410
 1 barrier
 1 compute 124787
-1 gather 795 795 0 
+1 gather 795 795 0
 1 compute 228879934
-1 alltoall 1746 1746 
+1 alltoall 1746 1746
 1 compute 276028
 1 barrier
 1 compute 409315679
@@ -66,18 +66,18 @@
 1 allreduce 32 21827181 1
 1 compute 3038127257
 1 compute 1525
-1 alltoallv 13262850 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414450 414450 414450  13097094  414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 386834 386834 386834 386834 386834 386834 386834 
+1 alltoallv 13262850 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414450 414450 414450  13097094  414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 386834 386834 386834 386834 386834 386834 386834
 1 compute 1058645731
 1 barrier
 1 compute 7154
 1 compute 332
-1 alltoallv 13097094 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 386834 386834 386834 386834 386834 386834 386834  13262850  414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414450 414450 414450 
+1 alltoallv 13097094 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 386834 386834 386834 386834 386834 386834 386834  13262850  414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414465 414450 414450 414450
 1 compute 915153808
 1 barrier
 1 compute 1455231051
-1 alltoall 13824 13824 
+1 alltoall 13824 13824
 1 compute 72647798
-1 alltoall 13824 13824 
+1 alltoall 13824 13824
 1 compute 20518087
 1 comm_size 32
 1 allreduce 1 10444633
@@ -88,9 +88,9 @@
 1 comm_size 32
 1 allreduce 2 68351849
 1 compute 21530357
-1 alltoall 13824 13824 
+1 alltoall 13824 13824
 1 compute 72647756
-1 alltoall 13824 13824 
+1 alltoall 13824 13824
 1 compute 20517481
 1 comm_size 32
 1 allreduce 1 1808047