Failed
projectroot.teshsuite.mc.mc_mini_simple_mutex_with_threads_ok (from CTest)
Failing for the past 25 builds
(Since Unstable
)
Stacktrace
Ignore all cruft seen on SimGrid's continuous integration servers Test suite '/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/teshsuite/mc/mcmini/simple_mutex_with_threads_ok.tesh' [Tesh/INFO] setenv libdir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib [Tesh/INFO] setenv bindir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc [simple_mutex_with_threads_ok.tesh:4] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/reduction:dpor --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsgmalloc.so:/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-simple_mutex_with_threads_ok 4 Output of <simple_mutex_with_threads_ok.tesh:4> mismatch: --- expected +++ obtained @@ -1,3 +1,4 @@ [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'dpor' -[0.000000] [mc_dfs/INFO] Start a DFS exploration. Reduction is: dpor. -[0.000000] [mc_dfs/INFO] DFS exploration ended. 593 unique states visited; 24 explored traces (80 transition replays, 673 states visited overall) +[0.000000] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/src/mc/remote/Channel.cpp:68: [root/CRITICAL] Channel::receive failure: Connection reset by peer +Backtrace (displayed in actor maestro): +(backtrace not set -- did you install Boost.Stacktrace?) Test suite `simple_mutex_with_threads_ok.tesh': NOK (<simple_mutex_with_threads_ok.tesh:4> output mismatch) In addition, <simple_mutex_with_threads_ok.tesh:4> got signal SIGIOT. [simple_mutex_with_threads_ok.tesh:9] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/reduction:dpor --cfg=model-check/exploration-algo:BFS --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsgmalloc.so:/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-simple_mutex_with_threads_ok 4 Output of <simple_mutex_with_threads_ok.tesh:9> mismatch: --- expected +++ obtained @@ -1,4 +1,5 @@ [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'dpor' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/exploration-algo' to 'BFS' -[0.000000] [mc_bfs/INFO] Start a BFS exploration. Reduction is: dpor. -[0.000000] [mc_bfs/INFO] BFS exploration ended. 593 unique states visited; 24 explored traces (80 transition replays, 673 states visited overall) +[0.000000] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/src/mc/remote/Channel.cpp:68: [root/CRITICAL] Channel::receive failure: Connection reset by peer +Backtrace (displayed in actor maestro): +(backtrace not set -- did you install Boost.Stacktrace?) Test suite `simple_mutex_with_threads_ok.tesh': NOK (<simple_mutex_with_threads_ok.tesh:9> output mismatch) In addition, <simple_mutex_with_threads_ok.tesh:9> got signal SIGIOT. [simple_mutex_with_threads_ok.tesh:15] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/reduction:odpor --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsgmalloc.so:/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-simple_mutex_with_threads_ok 4 Output of <simple_mutex_with_threads_ok.tesh:15> mismatch: --- expected +++ obtained @@ -1,3 +1,4 @@ [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'odpor' -[0.000000] [mc_dfs/INFO] Start a DFS exploration. Reduction is: odpor. -[0.000000] [mc_dfs/INFO] DFS exploration ended. 548 unique states visited; 24 explored traces (125 transition replays, 673 states visited overall) +[0.000000] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/src/mc/remote/Channel.cpp:68: [root/CRITICAL] Channel::receive failure: Connection reset by peer +Backtrace (displayed in actor maestro): +(backtrace not set -- did you install Boost.Stacktrace?) Test suite `simple_mutex_with_threads_ok.tesh': NOK (<simple_mutex_with_threads_ok.tesh:15> output mismatch) In addition, <simple_mutex_with_threads_ok.tesh:15> got signal SIGIOT. [simple_mutex_with_threads_ok.tesh:20] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/reduction:udpor --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsgmalloc.so:/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-simple_mutex_with_threads_ok 4 Output of <simple_mutex_with_threads_ok.tesh:20> mismatch: --- expected +++ obtained @@ -1,3 +1,4 @@ [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'udpor' -[0.000000] [mc_udpor/INFO] Starting a UDPOR exploration -[0.000000] [mc_udpor/INFO] UDPOR exploration ended. 85 unique events considered; 23 backtracks +[0.000000] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/src/mc/remote/Channel.cpp:68: [root/CRITICAL] Channel::receive failure: Connection reset by peer +Backtrace (displayed in actor maestro): +(backtrace not set -- did you install Boost.Stacktrace?) Test suite `simple_mutex_with_threads_ok.tesh': NOK (<simple_mutex_with_threads_ok.tesh:20> output mismatch) In addition, <simple_mutex_with_threads_ok.tesh:20> got signal SIGIOT.
Standard Output
Ignore all cruft seen on SimGrid's continuous integration servers Test suite '/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/teshsuite/mc/mcmini/simple_mutex_with_threads_ok.tesh' [Tesh/INFO] setenv libdir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib [Tesh/INFO] setenv bindir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc [simple_mutex_with_threads_ok.tesh:4] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/reduction:dpor --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsgmalloc.so:/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-simple_mutex_with_threads_ok 4 Output of <simple_mutex_with_threads_ok.tesh:4> mismatch: --- expected +++ obtained @@ -1,3 +1,4 @@ [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'dpor' -[0.000000] [mc_dfs/INFO] Start a DFS exploration. Reduction is: dpor. -[0.000000] [mc_dfs/INFO] DFS exploration ended. 593 unique states visited; 24 explored traces (80 transition replays, 673 states visited overall) +[0.000000] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/src/mc/remote/Channel.cpp:68: [root/CRITICAL] Channel::receive failure: Connection reset by peer +Backtrace (displayed in actor maestro): +(backtrace not set -- did you install Boost.Stacktrace?) Test suite `simple_mutex_with_threads_ok.tesh': NOK (<simple_mutex_with_threads_ok.tesh:4> output mismatch) In addition, <simple_mutex_with_threads_ok.tesh:4> got signal SIGIOT. [simple_mutex_with_threads_ok.tesh:9] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/reduction:dpor --cfg=model-check/exploration-algo:BFS --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsgmalloc.so:/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-simple_mutex_with_threads_ok 4 Output of <simple_mutex_with_threads_ok.tesh:9> mismatch: --- expected +++ obtained @@ -1,4 +1,5 @@ [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'dpor' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/exploration-algo' to 'BFS' -[0.000000] [mc_bfs/INFO] Start a BFS exploration. Reduction is: dpor. -[0.000000] [mc_bfs/INFO] BFS exploration ended. 593 unique states visited; 24 explored traces (80 transition replays, 673 states visited overall) +[0.000000] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/src/mc/remote/Channel.cpp:68: [root/CRITICAL] Channel::receive failure: Connection reset by peer +Backtrace (displayed in actor maestro): +(backtrace not set -- did you install Boost.Stacktrace?) Test suite `simple_mutex_with_threads_ok.tesh': NOK (<simple_mutex_with_threads_ok.tesh:9> output mismatch) In addition, <simple_mutex_with_threads_ok.tesh:9> got signal SIGIOT. [simple_mutex_with_threads_ok.tesh:15] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/reduction:odpor --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsgmalloc.so:/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-simple_mutex_with_threads_ok 4 Output of <simple_mutex_with_threads_ok.tesh:15> mismatch: --- expected +++ obtained @@ -1,3 +1,4 @@ [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'odpor' -[0.000000] [mc_dfs/INFO] Start a DFS exploration. Reduction is: odpor. -[0.000000] [mc_dfs/INFO] DFS exploration ended. 548 unique states visited; 24 explored traces (125 transition replays, 673 states visited overall) +[0.000000] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/src/mc/remote/Channel.cpp:68: [root/CRITICAL] Channel::receive failure: Connection reset by peer +Backtrace (displayed in actor maestro): +(backtrace not set -- did you install Boost.Stacktrace?) Test suite `simple_mutex_with_threads_ok.tesh': NOK (<simple_mutex_with_threads_ok.tesh:15> output mismatch) In addition, <simple_mutex_with_threads_ok.tesh:15> got signal SIGIOT. [simple_mutex_with_threads_ok.tesh:20] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/reduction:udpor --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsgmalloc.so:/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-simple_mutex_with_threads_ok 4 Output of <simple_mutex_with_threads_ok.tesh:20> mismatch: --- expected +++ obtained @@ -1,3 +1,4 @@ [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'udpor' -[0.000000] [mc_udpor/INFO] Starting a UDPOR exploration -[0.000000] [mc_udpor/INFO] UDPOR exploration ended. 85 unique events considered; 23 backtracks +[0.000000] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/src/mc/remote/Channel.cpp:68: [root/CRITICAL] Channel::receive failure: Connection reset by peer +Backtrace (displayed in actor maestro): +(backtrace not set -- did you install Boost.Stacktrace?) Test suite `simple_mutex_with_threads_ok.tesh': NOK (<simple_mutex_with_threads_ok.tesh:20> output mismatch) In addition, <simple_mutex_with_threads_ok.tesh:20> got signal SIGIOT.