Regression
projectroot.teshsuite.mc.mc_mini_simple_mutex_with_threads_ok (from CTest)
Failing for the past 1 build
(Since Unstable
)
Stacktrace
Ignore all cruft seen on SimGrid's continuous integration servers Test suite '/builds/workspace/SimGrid/build_mode/Debug/node/centos/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/centos/build/simgrid-3.35.1/build/lib [Tesh/INFO] setenv bindir=/builds/workspace/SimGrid/build_mode/Debug/node/centos/build/simgrid-3.35.1/build/teshsuite/mc [simple_mutex_with_threads_ok.tesh:4] /builds/workspace/SimGrid/build_mode/Debug/node/centos/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/centos/build/simgrid-3.35.1/build/lib/libsgmalloc.so:/builds/workspace/SimGrid/build_mode/Debug/node/centos/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/centos/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-simple_mutex_with_threads_ok 4 [simple_mutex_with_threads_ok.tesh:4] Cannot start '/builds/workspace/SimGrid/build_mode/Debug/node/centos/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc': File not found. [simple_mutex_with_threads_ok.tesh:9] /builds/workspace/SimGrid/build_mode/Debug/node/centos/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/centos/build/simgrid-3.35.1/build/lib/libsgmalloc.so:/builds/workspace/SimGrid/build_mode/Debug/node/centos/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/centos/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-simple_mutex_with_threads_ok 4 [simple_mutex_with_threads_ok.tesh:9] Cannot start '/builds/workspace/SimGrid/build_mode/Debug/node/centos/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc': File not found. [simple_mutex_with_threads_ok.tesh:15] /builds/workspace/SimGrid/build_mode/Debug/node/centos/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/centos/build/simgrid-3.35.1/build/lib/libsgmalloc.so:/builds/workspace/SimGrid/build_mode/Debug/node/centos/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/centos/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-simple_mutex_with_threads_ok 4 [simple_mutex_with_threads_ok.tesh:15] Cannot start '/builds/workspace/SimGrid/build_mode/Debug/node/centos/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc': File not found. [simple_mutex_with_threads_ok.tesh:20] /builds/workspace/SimGrid/build_mode/Debug/node/centos/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/centos/build/simgrid-3.35.1/build/lib/libsgmalloc.so:/builds/workspace/SimGrid/build_mode/Debug/node/centos/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/centos/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-simple_mutex_with_threads_ok 4 [simple_mutex_with_threads_ok.tesh:20] Cannot start '/builds/workspace/SimGrid/build_mode/Debug/node/centos/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/centos/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/centos/build/simgrid-3.35.1/build/lib [Tesh/INFO] setenv bindir=/builds/workspace/SimGrid/build_mode/Debug/node/centos/build/simgrid-3.35.1/build/teshsuite/mc [simple_mutex_with_threads_ok.tesh:4] /builds/workspace/SimGrid/build_mode/Debug/node/centos/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/centos/build/simgrid-3.35.1/build/lib/libsgmalloc.so:/builds/workspace/SimGrid/build_mode/Debug/node/centos/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/centos/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-simple_mutex_with_threads_ok 4 [simple_mutex_with_threads_ok.tesh:4] Cannot start '/builds/workspace/SimGrid/build_mode/Debug/node/centos/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc': File not found. [simple_mutex_with_threads_ok.tesh:9] /builds/workspace/SimGrid/build_mode/Debug/node/centos/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/centos/build/simgrid-3.35.1/build/lib/libsgmalloc.so:/builds/workspace/SimGrid/build_mode/Debug/node/centos/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/centos/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-simple_mutex_with_threads_ok 4 [simple_mutex_with_threads_ok.tesh:9] Cannot start '/builds/workspace/SimGrid/build_mode/Debug/node/centos/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc': File not found. [simple_mutex_with_threads_ok.tesh:15] /builds/workspace/SimGrid/build_mode/Debug/node/centos/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/centos/build/simgrid-3.35.1/build/lib/libsgmalloc.so:/builds/workspace/SimGrid/build_mode/Debug/node/centos/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/centos/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-simple_mutex_with_threads_ok 4 [simple_mutex_with_threads_ok.tesh:15] Cannot start '/builds/workspace/SimGrid/build_mode/Debug/node/centos/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc': File not found. [simple_mutex_with_threads_ok.tesh:20] /builds/workspace/SimGrid/build_mode/Debug/node/centos/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/centos/build/simgrid-3.35.1/build/lib/libsgmalloc.so:/builds/workspace/SimGrid/build_mode/Debug/node/centos/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/centos/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-simple_mutex_with_threads_ok 4 [simple_mutex_with_threads_ok.tesh:20] Cannot start '/builds/workspace/SimGrid/build_mode/Debug/node/centos/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc': File not found.