Regression

projectroot.examples.sthread.pthread_mc_producer_consumer_raw (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-producer-consumer.tesh'
[Tesh/INFO] setenv libdir=/builds/workspace/SimGrid/build_mode/Debug/node/debian-stable/build/simgrid-3.35.1/build/lib
[pthread-mc-producer-consumer.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-producer-consumer -q  -C 1 -P 1 --cfg=contexts/factory:raw
Output of <pthread-mc-producer-consumer.tesh:4> mismatch:
--- expected
+++ obtained
@@ -1,2 +1,2 @@
 [0.000000] [mc_dfs/INFO] Start a DFS exploration. Reduction is: dpor.
-[0.000000] [mc_dfs/INFO] DFS exploration ended. 735 unique states visited; 73 backtracks (1598 transition replays, 2333 states visited overall)
+[0.000000] [mc_dfs/INFO] DFS exploration ended. 689 unique states visited; 53 backtracks (1112 transition replays, 1801 states visited overall)
Test suite `pthread-mc-producer-consumer.tesh': NOK (<pthread-mc-producer-consumer.tesh:4> output mismatch)
[pthread-mc-producer-consumer.tesh:8]  ./../../bin/simgrid-mc --cfg=model-check/reduction:sdpor --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-producer-consumer -q  -C 1 -P 1 --cfg=contexts/factory:raw

[pthread-mc-producer-consumer.tesh:13]  ./../../bin/simgrid-mc --cfg=model-check/reduction:odpor --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-producer-consumer -q  -C 1 -P 1 --cfg=contexts/factory:raw

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-producer-consumer.tesh'
[Tesh/INFO] setenv libdir=/builds/workspace/SimGrid/build_mode/Debug/node/debian-stable/build/simgrid-3.35.1/build/lib
[pthread-mc-producer-consumer.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-producer-consumer -q  -C 1 -P 1 --cfg=contexts/factory:raw
Output of <pthread-mc-producer-consumer.tesh:4> mismatch:
--- expected
+++ obtained
@@ -1,2 +1,2 @@
 [0.000000] [mc_dfs/INFO] Start a DFS exploration. Reduction is: dpor.
-[0.000000] [mc_dfs/INFO] DFS exploration ended. 735 unique states visited; 73 backtracks (1598 transition replays, 2333 states visited overall)
+[0.000000] [mc_dfs/INFO] DFS exploration ended. 689 unique states visited; 53 backtracks (1112 transition replays, 1801 states visited overall)
Test suite `pthread-mc-producer-consumer.tesh': NOK (<pthread-mc-producer-consumer.tesh:4> output mismatch)
[pthread-mc-producer-consumer.tesh:8]  ./../../bin/simgrid-mc --cfg=model-check/reduction:sdpor --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-producer-consumer -q  -C 1 -P 1 --cfg=contexts/factory:raw

[pthread-mc-producer-consumer.tesh:13]  ./../../bin/simgrid-mc --cfg=model-check/reduction:odpor --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-producer-consumer -q  -C 1 -P 1 --cfg=contexts/factory:raw