c54aea66a253ae903fafff13efc49de5bd7cf866
1 (* option -verbose_ctl_engine *)
2 let verbose_ctl_engine = ref false
4 (* cheap partial matches using assttomember *)
5 let verbose_match = ref false
7 let partial_match = ref false
9 let poswits_only = ref false
11 let loop_in_src_code = ref false
15 let steps = ref (None
: int option)
17 let graphical_trace = ref false
18 let gt_without_label = ref false
20 let checking_reachability = ref false