[bpt/coccinelle.git] / engine / flag_engine.ml

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
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