Regression
projectroot.examples.sthread.pthread_mc_producer_consumer_ucontext (from CTest)
Failing for the past 1 build
(Since Unstable
)
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:ucontext 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:ucontext [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:ucontext
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:ucontext 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:ucontext [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:ucontext