examples/sthread/pthread-mc-mutex-simple.tesh

   1
   2 # We ignore the LD_PRELOAD lines from the expected output because they contain the build path
   3 ! ignore .*LD_PRELOAD.*
   4
   5 $ ${bindir:=.}/../../bin/simgrid-mc --cfg=model-check/setenv:LD_PRELOAD=${libdir:=.}/libsgmalloc.so:${libdir:=.}/libsthread.so ${bindir:=.}/pthread-mutex-simple
   6 > [0.000000] [sthread/INFO] Starting the simulation.
   7 > All threads are started.
   8 > [0.000000] [mc_dfs/INFO] Start a DFS exploration. Reduction is: dpor.
   9 > The thread 0 is terminating.
  10 > The thread 1 is terminating.
  11 > User's main is terminating.
  12 > The thread 0 is terminating.
  13 > The thread 1 is terminating.
  14 > User's main is terminating.
  15 > The thread 1 is terminating.
  16 > The thread 0 is terminating.
  17 > User's main is terminating.
  18 > [0.000000] [mc_dfs/INFO] DFS exploration ended. 23 unique states visited; 3 backtracks (27 transition replays, 2 states visited overall)