Failed

projectroot.teshsuite.mc.mc_mini_philosophers_mutex_deadlock (from CTest)

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/philosophers_mutex_deadlock.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
[philosophers_mutex_deadlock.tesh:5]  /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/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-philosophers_mutex_deadlock 4 0
[philosophers_mutex_deadlock.tesh:5] Cannot start '/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc': File not found.
[philosophers_mutex_deadlock.tesh:34]  /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/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-philosophers_mutex_deadlock 4 0
[philosophers_mutex_deadlock.tesh:34] Cannot start '/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc': File not found.
[philosophers_mutex_deadlock.tesh:64]  /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/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-philosophers_mutex_deadlock 5 0
[philosophers_mutex_deadlock.tesh:64] Cannot start '/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc': File not found.
[philosophers_mutex_deadlock.tesh:97]  /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/exploration-algo:BFS --cfg=model-check/setenv:LD_PRELOAD=/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-philosophers_mutex_deadlock 5 0
[philosophers_mutex_deadlock.tesh:97] Cannot start '/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc': File not found.

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/philosophers_mutex_deadlock.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
[philosophers_mutex_deadlock.tesh:5]  /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/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-philosophers_mutex_deadlock 4 0
[philosophers_mutex_deadlock.tesh:5] Cannot start '/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc': File not found.
[philosophers_mutex_deadlock.tesh:34]  /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/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-philosophers_mutex_deadlock 4 0
[philosophers_mutex_deadlock.tesh:34] Cannot start '/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc': File not found.
[philosophers_mutex_deadlock.tesh:64]  /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/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-philosophers_mutex_deadlock 5 0
[philosophers_mutex_deadlock.tesh:64] Cannot start '/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc': File not found.
[philosophers_mutex_deadlock.tesh:97]  /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/exploration-algo:BFS --cfg=model-check/setenv:LD_PRELOAD=/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-philosophers_mutex_deadlock 5 0
[philosophers_mutex_deadlock.tesh:97] Cannot start '/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc': File not found.