equal
deleted
inserted
replaced
57 -- "run actions on every nth goal (0: uniform distribution)" |
57 -- "run actions on every nth goal (0: uniform distribution)" |
58 |
58 |
59 option mirabelle_max_calls : int = 0 |
59 option mirabelle_max_calls : int = 0 |
60 -- "max. no. of calls to each action (0: unbounded)" |
60 -- "max. no. of calls to each action (0: unbounded)" |
61 |
61 |
|
62 option mirabelle_output_dir : string = "mirabelle" |
|
63 -- "output directory for log files and generated artefacts" |
|
64 |
62 option mirabelle_actions : string = "" |
65 option mirabelle_actions : string = "" |
63 -- "Mirabelle actions (outer syntax, separated by semicolons)" |
66 -- "Mirabelle actions (outer syntax, separated by semicolons)" |
64 |
67 |
65 option mirabelle_theories : string = "" |
68 option mirabelle_theories : string = "" |
66 -- "Mirabelle theories (names with optional line range, separated by commas)" |
69 -- "Mirabelle theories (names with optional line range, separated by commas)" |