[bpt/coccinelle.git] / ctl / flag_ctl.ml

(* option -verbose_ctl_engine *)
let verbose_ctl_engine = ref false

(* cheap partial matches using assttomember *)
let verbose_match = ref false

let partial_match = ref false

let poswits_only = ref false

let loop_in_src_code = ref false

let bench = ref 0

let steps = ref (None : int option)

let graphical_trace = ref false
let gt_without_label = ref false

let checking_reachability = ref false
Commit	Line	Data
34e49164 C	1	(* option -verbose_ctl_engine *)
	2	let verbose_ctl_engine = ref false
	3
	4	(* cheap partial matches using assttomember *)
	5	let verbose_match = ref false
	6
	7	let partial_match = ref false
	8
	9	let poswits_only = ref false
	10
	11	let loop_in_src_code = ref false
	12
	13	let bench = ref 0
	14
	15	let steps = ref (None : int option)
	16
485bce71 C	17	let graphical_trace = ref false
	18	let gt_without_label = ref false
	19
	20	let checking_reachability = ref false