Commit | Line | Data |
---|---|---|
34e49164 C |
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 |