Commit | Line | Data |
---|---|---|
34e49164 C |
1 | (* option -verbose_ctl_engine *) |
2 | let verbose_ctl_engine = ref false | |
3 | ||
4 | (* cheap partial matches using assttomember *) | |
5 | let verbose_match = ref false | |
6 | ||
7 | let partial_match = ref false | |
8 | ||
9 | let poswits_only = ref false | |
10 | ||
11 | let loop_in_src_code = ref false | |
12 | ||
13 | let bench = ref 0 | |
14 | ||
15 | let steps = ref (None : int option) | |
16 | ||
485bce71 C |
17 | let graphical_trace = ref false |
18 | let gt_without_label = ref false | |
19 | ||
20 | let checking_reachability = ref false |