Failed
projectroot.teshsuite.mc.mc_mini_barber_shop_ok (from CTest)
Failing for the past 14 builds
(Since Unstable
)
Stacktrace
Ignore all cruft seen on SimGrid's continuous integration servers Test suite '/builds/workspace/SimGrid-DynamicAnalysis-Coverage/label/debian-testing/teshsuite/mc/mcmini/barber_shop_ok.tesh' [Tesh/INFO] setenv libdir=/builds/workspace/SimGrid-DynamicAnalysis-Coverage/label/debian-testing/build/lib [Tesh/INFO] setenv bindir=/builds/workspace/SimGrid-DynamicAnalysis-Coverage/label/debian-testing/build/teshsuite/mc [barber_shop_ok.tesh:4] /builds/workspace/SimGrid-DynamicAnalysis-Coverage/label/debian-testing/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/reduction:odpor --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid-DynamicAnalysis-Coverage/label/debian-testing/build/lib/libsthread.so /builds/workspace/SimGrid-DynamicAnalysis-Coverage/label/debian-testing/build/teshsuite/mc/mcmini/mcmini-barber_shop_ok 4 2 0 0 [barber_shop_ok.tesh:9] /builds/workspace/SimGrid-DynamicAnalysis-Coverage/label/debian-testing/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-DynamicAnalysis-Coverage/label/debian-testing/build/lib/libsthread.so /builds/workspace/SimGrid-DynamicAnalysis-Coverage/label/debian-testing/build/teshsuite/mc/mcmini/mcmini-barber_shop_ok 4 2 0 0 Test suite `barber_shop_ok.tesh': NOK (<barber_shop_ok.tesh:9> timeout after 100 sec) Output of <barber_shop_ok.tesh:9> mismatch: --- expected +++ obtained @@ -1,4 +1,3 @@ [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'odpor' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/exploration-algo' to 'BFS' [0.000000] [mc_bfs/INFO] Start a BFS exploration. Reduction is: odpor. -[0.000000] [mc_bfs/INFO] BFS exploration ended. 15999 unique states visited; 344 explored traces (130597 transition replays, 146596 states visited overall) Test suite `barber_shop_ok.tesh': NOK (<barber_shop_ok.tesh:9> output mismatch) In addition, <barber_shop_ok.tesh:9> got signal SIGTERM.
Standard Output
Ignore all cruft seen on SimGrid's continuous integration servers Test suite '/builds/workspace/SimGrid-DynamicAnalysis-Coverage/label/debian-testing/teshsuite/mc/mcmini/barber_shop_ok.tesh' [Tesh/INFO] setenv libdir=/builds/workspace/SimGrid-DynamicAnalysis-Coverage/label/debian-testing/build/lib [Tesh/INFO] setenv bindir=/builds/workspace/SimGrid-DynamicAnalysis-Coverage/label/debian-testing/build/teshsuite/mc [barber_shop_ok.tesh:4] /builds/workspace/SimGrid-DynamicAnalysis-Coverage/label/debian-testing/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/reduction:odpor --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid-DynamicAnalysis-Coverage/label/debian-testing/build/lib/libsthread.so /builds/workspace/SimGrid-DynamicAnalysis-Coverage/label/debian-testing/build/teshsuite/mc/mcmini/mcmini-barber_shop_ok 4 2 0 0 [barber_shop_ok.tesh:9] /builds/workspace/SimGrid-DynamicAnalysis-Coverage/label/debian-testing/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-DynamicAnalysis-Coverage/label/debian-testing/build/lib/libsthread.so /builds/workspace/SimGrid-DynamicAnalysis-Coverage/label/debian-testing/build/teshsuite/mc/mcmini/mcmini-barber_shop_ok 4 2 0 0 Test suite `barber_shop_ok.tesh': NOK (<barber_shop_ok.tesh:9> timeout after 100 sec) Output of <barber_shop_ok.tesh:9> mismatch: --- expected +++ obtained @@ -1,4 +1,3 @@ [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'odpor' [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/exploration-algo' to 'BFS' [0.000000] [mc_bfs/INFO] Start a BFS exploration. Reduction is: odpor. -[0.000000] [mc_bfs/INFO] BFS exploration ended. 15999 unique states visited; 344 explored traces (130597 transition replays, 146596 states visited overall) Test suite `barber_shop_ok.tesh': NOK (<barber_shop_ok.tesh:9> output mismatch) In addition, <barber_shop_ok.tesh:9> got signal SIGTERM.