engine/flag_matcher.ml

   1 let debug_engine = ref false
   2
   3 (* false = simpler formulas, only for debugging *)
   4 let useEU = ref true
   5
   6 let disallow_nested_exps = ref false
   7
   8 (* if this flag is not set, then break and continue are also error exits *)
   9 let only_return_is_error_exit = ref false
  10
  11 (* a hack to allow adding code in some more sgrep-like uses *)
  12 let allow_inconsistent_paths = ref false
  13
  14 let show_misc = ref true