Regression

projectroot.examples.sthread.pthread_mc_mutex_recursive_boost (from CTest)

Stacktrace

[Tesh/INFO] change directory to /builds/workspace/SimGrid/build_mode/Debug/node/debian-stable/build/simgrid-3.35.1/build/examples/sthread
Ignore all cruft seen on SimGrid's continuous integration servers
Test suite '/builds/workspace/SimGrid/build_mode/Debug/node/debian-stable/build/simgrid-3.35.1/examples/sthread/pthread-mc-mutex-recursive.tesh'
[Tesh/INFO] setenv libdir=/builds/workspace/SimGrid/build_mode/Debug/node/debian-stable/build/simgrid-3.35.1/build/lib
[pthread-mc-mutex-recursive.tesh:4]  ./../../bin/simgrid-mc --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/debian-stable/build/simgrid-3.35.1/build/lib/libsthread.so ./pthread-mutex-recursive --cfg=contexts/factory:boost
Output of <pthread-mc-mutex-recursive.tesh:4> mismatch:
--- expected
+++ obtained
@@ -3,8 +3,4 @@
 Failed to relock the default mutex.
 Got the lock on the recursive mutex.
 Got the lock again on the recursive mutex.
-Got the lock on the default mutex.
-Failed to relock the default mutex.
-Got the lock on the recursive mutex.
-Got the lock again on the recursive mutex.
-[0.000000] [mc_dfs/INFO] DFS exploration ended. 17 unique states visited; 1 backtracks (3 transition replays, 20 states visited overall)
+[0.000000] [mc_dfs/INFO] DFS exploration ended. 12 unique states visited; 0 backtracks (0 transition replays, 12 states visited overall)
Test suite `pthread-mc-mutex-recursive.tesh': NOK (<pthread-mc-mutex-recursive.tesh:4> output mismatch)

Standard Output

[Tesh/INFO] change directory to /builds/workspace/SimGrid/build_mode/Debug/node/debian-stable/build/simgrid-3.35.1/build/examples/sthread
Ignore all cruft seen on SimGrid's continuous integration servers
Test suite '/builds/workspace/SimGrid/build_mode/Debug/node/debian-stable/build/simgrid-3.35.1/examples/sthread/pthread-mc-mutex-recursive.tesh'
[Tesh/INFO] setenv libdir=/builds/workspace/SimGrid/build_mode/Debug/node/debian-stable/build/simgrid-3.35.1/build/lib
[pthread-mc-mutex-recursive.tesh:4]  ./../../bin/simgrid-mc --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/debian-stable/build/simgrid-3.35.1/build/lib/libsthread.so ./pthread-mutex-recursive --cfg=contexts/factory:boost
Output of <pthread-mc-mutex-recursive.tesh:4> mismatch:
--- expected
+++ obtained
@@ -3,8 +3,4 @@
 Failed to relock the default mutex.
 Got the lock on the recursive mutex.
 Got the lock again on the recursive mutex.
-Got the lock on the default mutex.
-Failed to relock the default mutex.
-Got the lock on the recursive mutex.
-Got the lock again on the recursive mutex.
-[0.000000] [mc_dfs/INFO] DFS exploration ended. 17 unique states visited; 1 backtracks (3 transition replays, 20 states visited overall)
+[0.000000] [mc_dfs/INFO] DFS exploration ended. 12 unique states visited; 0 backtracks (0 transition replays, 12 states visited overall)
Test suite `pthread-mc-mutex-recursive.tesh': NOK (<pthread-mc-mutex-recursive.tesh:4> output mismatch)