examples/sthread/pthread-mc-producer-consumer.tesh

   1 # We ignore the LD_PRELOAD lines from the expected output because they contain the build path
   2 ! ignore .*LD_PRELOAD.*
   3
   4 $ ${bindir:=.}/../../bin/simgrid-mc --cfg=model-check/sleep-set:true --cfg=model-check/setenv:LD_PRELOAD=${libdir:=.}/libsgmalloc.so:${libdir:=.}/libsthread.so ${bindir:=.}/pthread-producer-consumer -q -c 2 -C 1 -p 2 -P 1
   5 > [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/sleep-set' to 'true'
   6 > [0.000000] [sthread/INFO] Starting the simulation.
   7 > [0.000000] [mc_dfs/INFO] Start a DFS exploration. Reduction is: dpor.
   8 > [0.000000] [sthread/INFO] Starting the simulation.
   9 > [0.000000] [sthread/INFO] Starting the simulation.
  10 > [0.000000] [sthread/INFO] Starting the simulation.
  11 > [0.000000] [sthread/INFO] Starting the simulation.
  12 > [0.000000] [sthread/INFO] Starting the simulation.
  13 > [0.000000] [sthread/INFO] Starting the simulation.
  14 > [0.000000] [sthread/INFO] Starting the simulation.
  15 > [0.000000] [sthread/INFO] Starting the simulation.
  16 > [0.000000] [sthread/INFO] Starting the simulation.
  17 > [0.000000] [sthread/INFO] Starting the simulation.
  18 > [0.000000] [sthread/INFO] Starting the simulation.
  19 > [0.000000] [sthread/INFO] Starting the simulation.
  20 > [0.000000] [sthread/INFO] Starting the simulation.
  21 > [0.000000] [sthread/INFO] Starting the simulation.
  22 > [0.000000] [sthread/INFO] Starting the simulation.
  23 > [0.000000] [sthread/INFO] Starting the simulation.
  24 > [0.000000] [sthread/INFO] Starting the simulation.
  25 > [0.000000] [sthread/INFO] Starting the simulation.
  26 > [0.000000] [sthread/INFO] Starting the simulation.
  27 > [0.000000] [sthread/INFO] Starting the simulation.
  28 > [0.000000] [sthread/INFO] Starting the simulation.
  29 > [0.000000] [sthread/INFO] Starting the simulation.
  30 > [0.000000] [sthread/INFO] Starting the simulation.
  31 > [0.000000] [sthread/INFO] Starting the simulation.
  32 > [0.000000] [sthread/INFO] Starting the simulation.
  33 > [0.000000] [sthread/INFO] Starting the simulation.
  34 > [0.000000] [sthread/INFO] Starting the simulation.
  35 > [0.000000] [sthread/INFO] Starting the simulation.
  36 > [0.000000] [sthread/INFO] Starting the simulation.
  37 > [0.000000] [sthread/INFO] Starting the simulation.
  38 > [0.000000] [sthread/INFO] Starting the simulation.
  39 > [0.000000] [sthread/INFO] Starting the simulation.
  40 > [0.000000] [sthread/INFO] Starting the simulation.
  41 > [0.000000] [sthread/INFO] Starting the simulation.
  42 > [0.000000] [sthread/INFO] Starting the simulation.
  43 > [0.000000] [sthread/INFO] Starting the simulation.
  44 > [0.000000] [sthread/INFO] Starting the simulation.
  45 > [0.000000] [sthread/INFO] Starting the simulation.
  46 > [0.000000] [sthread/INFO] Starting the simulation.
  47 > [0.000000] [sthread/INFO] Starting the simulation.
  48 > [0.000000] [sthread/INFO] Starting the simulation.
  49 > [0.000000] [sthread/INFO] Starting the simulation.
  50 > [0.000000] [sthread/INFO] Starting the simulation.
  51 > [0.000000] [sthread/INFO] Starting the simulation.
  52 > [0.000000] [sthread/INFO] Starting the simulation.
  53 > [0.000000] [sthread/INFO] Starting the simulation.
  54 > [0.000000] [sthread/INFO] Starting the simulation.
  55 > [0.000000] [sthread/INFO] Starting the simulation.
  56 > [0.000000] [sthread/INFO] Starting the simulation.
  57 > [0.000000] [sthread/INFO] Starting the simulation.
  58 > [0.000000] [sthread/INFO] Starting the simulation.
  59 > [0.000000] [sthread/INFO] Starting the simulation.
  60 > [0.000000] [sthread/INFO] Starting the simulation.
  61 > [0.000000] [sthread/INFO] Starting the simulation.
  62 > [0.000000] [sthread/INFO] Starting the simulation.
  63 > [0.000000] [sthread/INFO] Starting the simulation.
  64 > [0.000000] [sthread/INFO] Starting the simulation.
  65 > [0.000000] [sthread/INFO] Starting the simulation.
  66 > [0.000000] [sthread/INFO] Starting the simulation.
  67 > [0.000000] [sthread/INFO] Starting the simulation.
  68 > [0.000000] [sthread/INFO] Starting the simulation.
  69 > [0.000000] [sthread/INFO] Starting the simulation.
  70 > [0.000000] [sthread/INFO] Starting the simulation.
  71 > [0.000000] [sthread/INFO] Starting the simulation.
  72 > [0.000000] [sthread/INFO] Starting the simulation.
  73 > [0.000000] [sthread/INFO] Starting the simulation.
  74 > [0.000000] [sthread/INFO] Starting the simulation.
  75 > [0.000000] [sthread/INFO] Starting the simulation.
  76 > [0.000000] [sthread/INFO] Starting the simulation.
  77 > [0.000000] [sthread/INFO] Starting the simulation.
  78 > [0.000000] [sthread/INFO] Starting the simulation.
  79 > [0.000000] [sthread/INFO] Starting the simulation.
  80 > [0.000000] [sthread/INFO] Starting the simulation.
  81 > [0.000000] [sthread/INFO] Starting the simulation.
  82 > [0.000000] [sthread/INFO] Starting the simulation.
  83 > [0.000000] [sthread/INFO] Starting the simulation.
  84 > [0.000000] [sthread/INFO] Starting the simulation.
  85 > [0.000000] [sthread/INFO] Starting the simulation.
  86 > [0.000000] [sthread/INFO] Starting the simulation.
  87 > [0.000000] [sthread/INFO] Starting the simulation.
  88 > [0.000000] [sthread/INFO] Starting the simulation.
  89 > [0.000000] [sthread/INFO] Starting the simulation.
  90 > [0.000000] [mc_dfs/INFO] DFS exploration ended. 719 unique states visited; 83 backtracks (1854 transition replays, 1053 states visited overall)