Failed
projectroot.MBI.mbi_CallOrdering_Probe_Irecv_Isend_ok (from CTest)
Stacktrace
| Compiling ./mbi_CallOrdering_Probe_Irecv_Isend_ok.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_Irecv_Isend_ok | | [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 | Hello from rank 1 | [node-1:1:(2) 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 1): | (backtrace not set -- did you install Boost.Stacktrace?) | [0.000000] [mc_explo/INFO] ************************** | [0.000000] [mc_explo/INFO] ** CRASH IN THE PROGRAM ** | [0.000000] [mc_explo/INFO] ************************** | [0.000000] [mc_explo/INFO] From signal: Aborted | [0.000000] [mc_explo/INFO] No core dump was generated by the system. | [0.000000] [mc_explo/INFO] Counter-example execution trace: | Segmentation fault | ./mbi_CallOrdering_Probe_Irecv_Isend_ok --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.13443207740783691 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX SimGrid gave the wrong result on ./mbi_CallOrdering_Probe_Irecv_Isend_ok (failure instead of OK). Expected diagnostic: OK
Standard Output
| Compiling ./mbi_CallOrdering_Probe_Irecv_Isend_ok.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_Irecv_Isend_ok | | [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 | Hello from rank 1 | [node-1:1:(2) 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 1): | (backtrace not set -- did you install Boost.Stacktrace?) | [0.000000] [mc_explo/INFO] ************************** | [0.000000] [mc_explo/INFO] ** CRASH IN THE PROGRAM ** | [0.000000] [mc_explo/INFO] ************************** | [0.000000] [mc_explo/INFO] From signal: Aborted | [0.000000] [mc_explo/INFO] No core dump was generated by the system. | [0.000000] [mc_explo/INFO] Counter-example execution trace: | Segmentation fault | ./mbi_CallOrdering_Probe_Irecv_Isend_ok --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.13443207740783691 XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX SimGrid gave the wrong result on ./mbi_CallOrdering_Probe_Irecv_Isend_ok (failure instead of OK). Expected diagnostic: OK