1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
(*
* This file is part of Coccinelle, licensed under the terms of the GPL v2.
* See copyright.txt in the Coccinelle source code for more information.
* The Coccinelle source code can be obtained at http://coccinelle.lip6.fr
*)
let debug_engine = ref false
(* false = simpler formulas, only for debugging *)
let useEU = ref true
let disallow_nested_exps = ref false
(* if this flag is not set, then break and continue are also error exits *)
let only_return_is_error_exit = ref false
(* a hack to allow adding code in some more sgrep-like uses *)
let allow_inconsistent_paths = ref false
|
