engine/flag_matcher.ml

   1 let debug_engine = ref false
   2 let verbose_matcher = ref true
   3
   4
   5 (* false = simpler formulas, only for debugging *)
   6 let useEU = ref true
   7
   8 let disallow_nested_exps = ref false
   9
  10 (* if this flag is not set, then break and continue are also error exits *)
  11 let only_return_is_error_exit = ref false
  12
  13 (* a hack to allow adding code in some more sgrep-like uses *)
  14 let allow_inconsistent_paths = ref false
  15
  16 (* see the use of this variable in asttoctl2.ml *)
  17 let no_safe_expressions = ref false
  18
  19 let show_misc = ref true
  20
  21
  22 let show_transinfo = ref false
  23