teshsuite/mc/random-bug/random-bug-replay.tesh

   1 #!/usr/bin/env tesh
   2 $ ${bindir:=.}/random-bug printf ${platfdir}/small_platform.xml --log=xbt_cfg.thresh:warning "--log=root.fmt:[%10.6r]%e(%i:%a@%h)%e%m%n" "--cfg=model-check/replay:1/3;1/4" --log=no_loc
   3 > [  0.000000] (0:maestro@) Behavior: printf
   4 > [  0.000000] (0:maestro@) path=1/3;1/4
   5 > [  0.000000] (0:maestro@) The backtrace of each transition will not be shown because of --log=no_loc
   6 > [  0.000000] (0:maestro@) ***********************************************************************************
   7 > [  0.000000] (0:maestro@) * Path chunk #1 '1/3' Actor app(pid:1): Random(min:0 max:5)
   8 > [  0.000000] (0:maestro@) ***********************************************************************************
   9 > [  0.000000] (0:maestro@) ***********************************************************************************
  10 > [  0.000000] (0:maestro@) * Path chunk #2 '1/4' Actor app(pid:1): Random(min:0 max:5)
  11 > [  0.000000] (0:maestro@) ***********************************************************************************
  12 > [  0.000000] (1:app@Fafard) Error reached
  13 > [  0.000000] (0:maestro@) The replay of the trace is complete. The application is terminating.
  14
  15 # Behavior: assert does not have the same output within and without MC, so don't test it here. That's already covered with the other ones
  16
  17 ! expect signal SIGIOT
  18 $ $VALGRIND_NO_LEAK_CHECK ${bindir:=.}/random-bug abort ${platfdir}/small_platform.xml --log=xbt_cfg.thresh:warning "--log=root.fmt:[%10.6r]%e(%i:%a@%h)%e%m%n" "--cfg=model-check/replay:1/3;1/4"  --log=no_loc
  19 > [  0.000000] (0:maestro@) Behavior: abort
  20 > [  0.000000] (0:maestro@) path=1/3;1/4
  21 > [  0.000000] (0:maestro@) The backtrace of each transition will not be shown because of --log=no_loc
  22 > [  0.000000] (0:maestro@) ***********************************************************************************
  23 > [  0.000000] (0:maestro@) * Path chunk #1 '1/3' Actor app(pid:1): Random(min:0 max:5)
  24 > [  0.000000] (0:maestro@) ***********************************************************************************
  25 > [  0.000000] (0:maestro@) ***********************************************************************************
  26 > [  0.000000] (0:maestro@) * Path chunk #2 '1/4' Actor app(pid:1): Random(min:0 max:5)
  27 > [  0.000000] (0:maestro@) ***********************************************************************************