examples/cpp/synchro-mutex/s4u-mc-synchro-mutex.tesh

   1 #!/usr/bin/env tesh
   2
   3 $ ${bindir:=.}/../../../bin/simgrid-mc -- ${bindir:=.}/s4u-synchro-mutex --cfg=actors:1 --log=s4u_test.thres:critical
   4 > [0.000000] [mc_safety/INFO] Start a DFS exploration. Reduction is: dpor.
   5 > [0.000000] [xbt_cfg/INFO] Configuration change: Set 'actors' to '1'
   6 > [0.000000] [mc_safety/INFO] DFS exploration ended. 13 unique states visited; 3 backtracks (18 transition replays, 3 states visited overall)
   7
   8 $ ${bindir:=.}/../../../bin/simgrid-mc -- ${bindir:=.}/s4u-synchro-mutex --cfg=actors:2 --log=s4u_test.thres:critical
   9 > [0.000000] [mc_safety/INFO] Start a DFS exploration. Reduction is: dpor.
  10 > [0.000000] [xbt_cfg/INFO] Configuration change: Set 'actors' to '2'
  11 > [0.000000] [mc_safety/INFO] DFS exploration ended. 241 unique states visited; 79 backtracks (744 transition replays, 425 states visited overall)