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