Skip to content

Failed

projectroot.teshsuite.mc.mc_mini_simple_semaphores_ok (from CTest)

Failing for the past 25 builds (Since Unstable #9510 )
Took 0.26 sec.

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_semaphores_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_semaphores_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: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_semaphores_ok 5
Output of <simple_semaphores_ok.tesh:4> 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. 17 unique states visited; 1 explored traces (0 transition replays, 17 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_semaphores_ok.tesh': NOK (<simple_semaphores_ok.tesh:4> output mismatch)
In addition, <simple_semaphores_ok.tesh:4> 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_semaphores_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_semaphores_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: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_semaphores_ok 5
Output of <simple_semaphores_ok.tesh:4> 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. 17 unique states visited; 1 explored traces (0 transition replays, 17 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_semaphores_ok.tesh': NOK (<simple_semaphores_ok.tesh:4> output mismatch)
In addition, <simple_semaphores_ok.tesh:4> got signal SIGIOT.