ctl/flag_ctl.ml

   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
  17 let graphical_trace = ref false
  18 let gt_without_label = ref false
  19
  20 let checking_reachability = ref false