3 $ ${bindir:=.}/../../../bin/simgrid-mc ${bindir:=.}/random-bug assert ${platfdir}/small_platform.xml "--log=root.fmt:[%10.6r]%e(%i:%a@%h)%e%m%n" --log=xbt_cfg.thresh:warning
4 > [ 0.000000] (0:maestro@) Check a safety property. Reduction is: dpor.
5 > [ 0.000000] (0:maestro@) Behavior: assert
6 > [ 0.000000] (0:maestro@) **************************
7 > [ 0.000000] (0:maestro@) *** PROPERTY NOT VALID ***
8 > [ 0.000000] (0:maestro@) **************************
9 > [ 0.000000] (0:maestro@) Counter-example execution trace:
10 > [ 0.000000] (0:maestro@) [(1)Fafard (app)] MC_RANDOM(3)
11 > [ 0.000000] (0:maestro@) [(1)Fafard (app)] MC_RANDOM(4)
12 > [ 0.000000] (0:maestro@) Path = 1/3;1/4
13 > [ 0.000000] (0:maestro@) Expanded states = 27
14 > [ 0.000000] (0:maestro@) Visited states = 68
15 > [ 0.000000] (0:maestro@) Executed transitions = 46
18 # because SIMGRID_MC_EXIT_PROGRAM_CRASH = 6
19 $ ${bindir:=.}/../../../bin/simgrid-mc ${bindir:=.}/random-bug abort ${platfdir}/small_platform.xml "--log=root.fmt:[%10.6r]%e(%i:%a@%h)%e%m%n" --log=xbt_cfg.thresh:warning --log=no_loc
20 > [ 0.000000] (0:maestro@) Check a safety property. Reduction is: dpor.
21 > [ 0.000000] (0:maestro@) Behavior: abort
22 > [ 0.000000] (0:maestro@) **************************
23 > [ 0.000000] (0:maestro@) ** CRASH IN THE PROGRAM **
24 > [ 0.000000] (0:maestro@) **************************
25 > [ 0.000000] (0:maestro@) From signal: Aborted
26 > [ 0.000000] (0:maestro@) Counter-example execution trace:
27 > [ 0.000000] (0:maestro@) [(1)Fafard (app)] MC_RANDOM(3)
28 > [ 0.000000] (0:maestro@) [(1)Fafard (app)] MC_RANDOM(4)
29 > [ 0.000000] (0:maestro@) Path = 1/3;1/4
30 > [ 0.000000] (0:maestro@) Expanded states = 27
31 > [ 0.000000] (0:maestro@) Visited states = 68
32 > [ 0.000000] (0:maestro@) Executed transitions = 46
33 > [ 0.000000] (0:maestro@) Stack trace not displayed because you passed --log=no_loc
35 $ ${bindir:=.}/../../../bin/simgrid-mc ${bindir:=.}/random-bug printf ${platfdir}/small_platform.xml "--log=root.fmt:[%10.6r]%e(%i:%a@%h)%e%m%n" --log=xbt_cfg.thresh:warning
36 > [ 0.000000] (0:maestro@) Check a safety property. Reduction is: dpor.
37 > [ 0.000000] (0:maestro@) Behavior: printf
38 > [ 0.000000] (1:app@Fafard) Error reached
39 > [ 0.000000] (0:maestro@) No property violation found.
40 > [ 0.000000] (0:maestro@) Expanded states = 43
41 > [ 0.000000] (0:maestro@) Visited states = 108
42 > [ 0.000000] (0:maestro@) Executed transitions = 72
45 # because SIMGRID_MC_EXIT_PROGRAM_CRASH = 6
46 $ ${bindir:=.}/../../../bin/simgrid-mc ${bindir:=.}/random-bug segv ${platfdir}/small_platform.xml "--log=root.fmt:[%10.6r]%e(%i:%a@%h)%e%m%n" --log=xbt_cfg.thresh:warning --log=no_loc
47 > [ 0.000000] (0:maestro@) Check a safety property. Reduction is: dpor.
48 > [ 0.000000] (0:maestro@) Behavior: segv
50 > [ 0.000000] (0:maestro@) **************************
51 > [ 0.000000] (0:maestro@) ** CRASH IN THE PROGRAM **
52 > [ 0.000000] (0:maestro@) **************************
53 > [ 0.000000] (0:maestro@) From signal: Segmentation fault
54 > [ 0.000000] (0:maestro@) Counter-example execution trace:
55 > [ 0.000000] (0:maestro@) [(1)Fafard (app)] MC_RANDOM(3)
56 > [ 0.000000] (0:maestro@) [(1)Fafard (app)] MC_RANDOM(4)
57 > [ 0.000000] (0:maestro@) Path = 1/3;1/4
58 > [ 0.000000] (0:maestro@) Expanded states = 27
59 > [ 0.000000] (0:maestro@) Visited states = 68
60 > [ 0.000000] (0:maestro@) Executed transitions = 46
61 > [ 0.000000] (0:maestro@) Stack trace not displayed because you passed --log=no_loc