forked from coccinelle/coccinelle
/
flag_ctl.ml
42 lines (32 loc) · 1.28 KB
/
flag_ctl.ml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
(*
* Copyright 2005-2008, Ecole des Mines de Nantes, University of Copenhagen
* Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller
* This file is part of Coccinelle.
*
* Coccinelle is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, according to version 2 of the License.
*
* Coccinelle is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
*
* The authors reserve the right to distribute this or future versions of
* Coccinelle under other licenses.
*)
(* 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