Failed
projectroot.MBI.mbi_CallOrdering_Probe_Recv_Send_nok (from CTest)
Stacktrace
| Compiling ./mbi_CallOrdering_Probe_Recv_Send_nok.c (batchinfo:) | | $ | | | Executing the command | $ /builds/workspace/SimGrid-DynamicAnalysis-Coverage/label/debian-testing/build/smpi_script/bin/smpirun -wrapper '/builds/workspace/SimGrid-DynamicAnalysis-Coverage/label/debian-testing/build/bin/simgrid-mc --cfg=model-check/reduction:odpor --log=mc_safety.t:info' -platform ./cluster.xml -analyze --cfg=smpi/barrier-finalization:on --cfg=smpi/list-leaks:10 --cfg=model-check/max-depth:10000 -np 2 ./mbi_CallOrdering_Probe_Recv_Send_nok | | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'odpor' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/privatization' to 'ON' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/np' to '2' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/hostfile' to '' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'precision/timing' to '1e-9' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'network/model' to 'SMPI' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/display-timing' to 'yes' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/display-allocs' to 'yes' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/list-leaks' to '50' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/pedantic' to 'true' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/barrier-collectives' to 'true' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/barrier-finalization' to 'on' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/list-leaks' to '10' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/max-depth' to '10000' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/tmpdir' to '/tmp' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/privatization' to 'ON' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/np' to '2' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/hostfile' to '' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'precision/timing' to '1e-9' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'network/model' to 'SMPI' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/display-timing' to 'yes' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/display-allocs' to 'yes' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/list-leaks' to '50' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/pedantic' to 'true' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/barrier-collectives' to 'true' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/barrier-finalization' to 'on' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/list-leaks' to '10' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/max-depth' to '10000' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/tmpdir' to '/tmp' | Hello from rank 0 | [node-0:0:(1) 0.000000] /builds/workspace/SimGrid-DynamicAnalysis-Coverage/label/debian-testing/src/smpi/mpi/smpi_request.cpp:876: [root/CRITICAL] MPI_Probe is not supported yet in MC mode. | Backtrace (displayed in actor 0): | (backtrace not set -- did you install Boost.Stacktrace?) | Segmentation fault | ./mbi_CallOrdering_Probe_Recv_Send_nok --cfg=smpi/privatization:ON --cfg=precision/timing:1e-9 --cfg=network/model:SMPI --cfg=smpi/display-timing:yes --cfg=smpi/display-allocs:yes --cfg=smpi/list-leaks:50 --cfg=smpi/pedantic:true --cfg=smpi/barrier-collectives:true --cfg=smpi/barrier-finalization:on --cfg=smpi/list-leaks:10 --cfg=model-check/max-depth:10000 --cfg=smpi/tmpdir:/tmp ./cluster.xml | Execution failed with code 139. | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Wait up to 300 seconds Command return code: 139, elapsed time: 0.14527416229248047 >>>>[ INCONCLUSIVE ]>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> (CallOrdering_Probe_Recv_Send_nok.c) Compiling ./mbi_CallOrdering_Probe_Recv_Send_nok.c (batchinfo:) $ Executing the command $ /builds/workspace/SimGrid-DynamicAnalysis-Coverage/label/debian-testing/build/smpi_script/bin/smpirun -wrapper '/builds/workspace/SimGrid-DynamicAnalysis-Coverage/label/debian-testing/build/bin/simgrid-mc --cfg=model-check/reduction:odpor --log=mc_safety.t:info' -platform ./cluster.xml -analyze --cfg=smpi/barrier-finalization:on --cfg=smpi/list-leaks:10 --cfg=model-check/max-depth:10000 -np 2 ./mbi_CallOrdering_Probe_Recv_Send_nok [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'odpor' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/privatization' to 'ON' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/np' to '2' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/hostfile' to '' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'precision/timing' to '1e-9' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'network/model' to 'SMPI' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/display-timing' to 'yes' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/display-allocs' to 'yes' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/list-leaks' to '50' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/pedantic' to 'true' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/barrier-collectives' to 'true' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/barrier-finalization' to 'on' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/list-leaks' to '10' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/max-depth' to '10000' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/tmpdir' to '/tmp' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/privatization' to 'ON' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/np' to '2' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/hostfile' to '' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'precision/timing' to '1e-9' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'network/model' to 'SMPI' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/display-timing' to 'yes' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/display-allocs' to 'yes' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/list-leaks' to '50' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/pedantic' to 'true' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/barrier-collectives' to 'true' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/barrier-finalization' to 'on' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/list-leaks' to '10' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/max-depth' to '10000' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/tmpdir' to '/tmp' Hello from rank 0 [node-0:0:(1) 0.000000] /builds/workspace/SimGrid-DynamicAnalysis-Coverage/label/debian-testing/src/smpi/mpi/smpi_request.cpp:876: [root/CRITICAL] MPI_Probe is not supported yet in MC mode. Backtrace (displayed in actor 0): (backtrace not set -- did you install Boost.Stacktrace?) Segmentation fault ./mbi_CallOrdering_Probe_Recv_Send_nok --cfg=smpi/privatization:ON --cfg=precision/timing:1e-9 --cfg=network/model:SMPI --cfg=smpi/display-timing:yes --cfg=smpi/display-allocs:yes --cfg=smpi/list-leaks:50 --cfg=smpi/pedantic:true --cfg=smpi/barrier-collectives:true --cfg=smpi/barrier-finalization:on --cfg=smpi/list-leaks:10 --cfg=model-check/max-depth:10000 --cfg=smpi/tmpdir:/tmp ./cluster.xml Execution failed with code 139. Command return code: 139, elapsed time: 0.14527416229248047 <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<< XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX SimGrid gave the wrong result on ./mbi_CallOrdering_Probe_Recv_Send_nok (other instead of CallMatching). Expected diagnostic: P2P mistmatch. MPI_Probe at CallOrdering_Probe_Recv_Send_nok.c:62 and CallOrdering_Probe_Recv_Send_nok.c:70 are called before MPI_Recv.
Standard Output
| Compiling ./mbi_CallOrdering_Probe_Recv_Send_nok.c (batchinfo:) | | $ | | | Executing the command | $ /builds/workspace/SimGrid-DynamicAnalysis-Coverage/label/debian-testing/build/smpi_script/bin/smpirun -wrapper '/builds/workspace/SimGrid-DynamicAnalysis-Coverage/label/debian-testing/build/bin/simgrid-mc --cfg=model-check/reduction:odpor --log=mc_safety.t:info' -platform ./cluster.xml -analyze --cfg=smpi/barrier-finalization:on --cfg=smpi/list-leaks:10 --cfg=model-check/max-depth:10000 -np 2 ./mbi_CallOrdering_Probe_Recv_Send_nok | | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'odpor' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/privatization' to 'ON' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/np' to '2' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/hostfile' to '' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'precision/timing' to '1e-9' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'network/model' to 'SMPI' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/display-timing' to 'yes' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/display-allocs' to 'yes' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/list-leaks' to '50' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/pedantic' to 'true' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/barrier-collectives' to 'true' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/barrier-finalization' to 'on' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/list-leaks' to '10' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/max-depth' to '10000' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/tmpdir' to '/tmp' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/privatization' to 'ON' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/np' to '2' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/hostfile' to '' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'precision/timing' to '1e-9' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'network/model' to 'SMPI' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/display-timing' to 'yes' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/display-allocs' to 'yes' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/list-leaks' to '50' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/pedantic' to 'true' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/barrier-collectives' to 'true' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/barrier-finalization' to 'on' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/list-leaks' to '10' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/max-depth' to '10000' | [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/tmpdir' to '/tmp' | Hello from rank 0 | [node-0:0:(1) 0.000000] /builds/workspace/SimGrid-DynamicAnalysis-Coverage/label/debian-testing/src/smpi/mpi/smpi_request.cpp:876: [root/CRITICAL] MPI_Probe is not supported yet in MC mode. | Backtrace (displayed in actor 0): | (backtrace not set -- did you install Boost.Stacktrace?) | Segmentation fault | ./mbi_CallOrdering_Probe_Recv_Send_nok --cfg=smpi/privatization:ON --cfg=precision/timing:1e-9 --cfg=network/model:SMPI --cfg=smpi/display-timing:yes --cfg=smpi/display-allocs:yes --cfg=smpi/list-leaks:50 --cfg=smpi/pedantic:true --cfg=smpi/barrier-collectives:true --cfg=smpi/barrier-finalization:on --cfg=smpi/list-leaks:10 --cfg=model-check/max-depth:10000 --cfg=smpi/tmpdir:/tmp ./cluster.xml | Execution failed with code 139. | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Wait up to 300 seconds Command return code: 139, elapsed time: 0.14527416229248047 >>>>[ INCONCLUSIVE ]>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> (CallOrdering_Probe_Recv_Send_nok.c) Compiling ./mbi_CallOrdering_Probe_Recv_Send_nok.c (batchinfo:) $ Executing the command $ /builds/workspace/SimGrid-DynamicAnalysis-Coverage/label/debian-testing/build/smpi_script/bin/smpirun -wrapper '/builds/workspace/SimGrid-DynamicAnalysis-Coverage/label/debian-testing/build/bin/simgrid-mc --cfg=model-check/reduction:odpor --log=mc_safety.t:info' -platform ./cluster.xml -analyze --cfg=smpi/barrier-finalization:on --cfg=smpi/list-leaks:10 --cfg=model-check/max-depth:10000 -np 2 ./mbi_CallOrdering_Probe_Recv_Send_nok [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'odpor' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/privatization' to 'ON' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/np' to '2' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/hostfile' to '' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'precision/timing' to '1e-9' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'network/model' to 'SMPI' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/display-timing' to 'yes' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/display-allocs' to 'yes' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/list-leaks' to '50' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/pedantic' to 'true' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/barrier-collectives' to 'true' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/barrier-finalization' to 'on' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/list-leaks' to '10' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/max-depth' to '10000' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/tmpdir' to '/tmp' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/privatization' to 'ON' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/np' to '2' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/hostfile' to '' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'precision/timing' to '1e-9' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'network/model' to 'SMPI' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/display-timing' to 'yes' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/display-allocs' to 'yes' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/list-leaks' to '50' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/pedantic' to 'true' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/barrier-collectives' to 'true' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/barrier-finalization' to 'on' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/list-leaks' to '10' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/max-depth' to '10000' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'smpi/tmpdir' to '/tmp' Hello from rank 0 [node-0:0:(1) 0.000000] /builds/workspace/SimGrid-DynamicAnalysis-Coverage/label/debian-testing/src/smpi/mpi/smpi_request.cpp:876: [root/CRITICAL] MPI_Probe is not supported yet in MC mode. Backtrace (displayed in actor 0): (backtrace not set -- did you install Boost.Stacktrace?) Segmentation fault ./mbi_CallOrdering_Probe_Recv_Send_nok --cfg=smpi/privatization:ON --cfg=precision/timing:1e-9 --cfg=network/model:SMPI --cfg=smpi/display-timing:yes --cfg=smpi/display-allocs:yes --cfg=smpi/list-leaks:50 --cfg=smpi/pedantic:true --cfg=smpi/barrier-collectives:true --cfg=smpi/barrier-finalization:on --cfg=smpi/list-leaks:10 --cfg=model-check/max-depth:10000 --cfg=smpi/tmpdir:/tmp ./cluster.xml Execution failed with code 139. Command return code: 139, elapsed time: 0.14527416229248047 <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<< XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX SimGrid gave the wrong result on ./mbi_CallOrdering_Probe_Recv_Send_nok (other instead of CallMatching). Expected diagnostic: P2P mistmatch. MPI_Probe at CallOrdering_Probe_Recv_Send_nok.c:62 and CallOrdering_Probe_Recv_Send_nok.c:70 are called before MPI_Recv.