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 $ $VALGRIND_NO_TRACE_CHILDREN ${bindir:=.}/../../bin/simgrid-mc --cfg=model-check/setenv:LD_PRELOAD=${libdir:=.}/libsthread.so ${bindir:=.}/pthread-mutex-simple
   6 > All threads are started.
   7 > [0.000000] [mc_dfs/INFO] Start a DFS exploration. Reduction is: dpor.
   8 > The thread 0 is terminating.
   9 > The thread 1 is terminating.
  10 > User's main is terminating.
  11 > The thread 1 is terminating.
  12 > The thread 0 is terminating.
  13 > User's main is terminating.
  14 > [0.000000] [mc_dfs/INFO] DFS exploration ended. 18 unique states visited; 2 backtracks (2 transition replays, 22 states visited overall)