Revision ca7ff3f7
Added by Lélio Brun over 1 year ago
src/options.ml | ||
---|---|---|
10 | 10 |
(********************************************************************) |
11 | 11 |
|
12 | 12 |
let version = Version.number |
13 |
|
|
13 | 14 |
let codename = Version.codename |
14 |
let include_dirs = ref ["."] |
|
15 |
|
|
16 |
let include_dirs = ref [ "." ] |
|
15 | 17 |
|
16 | 18 |
let main_node = ref "" |
19 |
|
|
17 | 20 |
let static_mem = ref true |
21 |
|
|
18 | 22 |
let print_types = ref false |
23 |
|
|
19 | 24 |
let print_clocks = ref false |
25 |
|
|
20 | 26 |
let delay_calculus = ref true |
27 |
|
|
21 | 28 |
let track_exceptions = ref true |
29 |
|
|
22 | 30 |
let ansi = ref false |
31 |
|
|
23 | 32 |
let check = ref false |
33 |
|
|
24 | 34 |
let spec = ref "no" |
35 |
|
|
25 | 36 |
let output = ref "C" |
37 |
|
|
26 | 38 |
let dest_dir = ref "." |
39 |
|
|
27 | 40 |
let verbose_level = ref 1 |
41 |
|
|
28 | 42 |
let global_inline = ref false |
43 |
|
|
29 | 44 |
let witnesses = ref false |
45 |
|
|
30 | 46 |
let optimization = ref 2 |
47 |
|
|
31 | 48 |
let lusi = ref false |
49 |
|
|
32 | 50 |
let print_nodes = ref false |
51 |
|
|
33 | 52 |
let print_reuse = ref false |
53 |
|
|
34 | 54 |
let const_unfold = ref false |
55 |
|
|
35 | 56 |
let mpfr = ref false |
57 |
|
|
36 | 58 |
let mpfr_prec = ref 100 |
59 |
|
|
37 | 60 |
let print_dec_types = ref false |
61 |
|
|
38 | 62 |
let compile_header = ref true |
39 | 63 |
|
40 |
(* Option to select the expected behavior of integer division: Euclidian or |
|
41 |
C. Default C !!! *)
|
|
64 |
(* Option to select the expected behavior of integer division: Euclidian or C.
|
|
65 |
Default C !!! *) |
|
42 | 66 |
let integer_div_euclidean = ref false |
43 |
|
|
67 |
|
|
44 | 68 |
let traces = ref false |
69 |
|
|
45 | 70 |
let horn_cex = ref false |
71 |
|
|
46 | 72 |
let horn_query = ref true |
47 | 73 |
|
48 |
let cpp = ref false |
|
49 |
let int_type = ref "int" |
|
74 |
let cpp = ref false |
|
75 |
|
|
76 |
let int_type = ref "int" |
|
77 |
|
|
50 | 78 |
let real_type = ref "double" |
79 |
|
|
51 | 80 |
let print_prec_double = ref 15 |
81 |
|
|
52 | 82 |
let print_prec_float = ref 10 |
53 | 83 |
|
54 | 84 |
let sfunction = ref "" |
55 | 85 |
|
56 | 86 |
let mauve = ref "" |
87 |
|
|
57 | 88 |
(* test generation options *) |
58 | 89 |
let nb_mutants = ref 1000 |
90 |
|
|
59 | 91 |
let gen_mcdc = ref false |
92 |
|
|
60 | 93 |
let no_mutation_suffix = ref false |
61 | 94 |
|
62 | 95 |
(* Algebraic loops unrolling *) |
63 | 96 |
let solve_al = ref false |
97 |
|
|
64 | 98 |
let al_nb_max = ref 15 |
65 | 99 |
|
66 | 100 |
(* Printer options *) |
Also available in: Unified diff
reformatting