lustrec / src / options.ml @ ef8a361a
History | View | Annotate | Download (1.71 KB)
1 |
(********************************************************************) |
---|---|
2 |
(* *) |
3 |
(* The LustreC compiler toolset / The LustreC Development Team *) |
4 |
(* Copyright 2012 - -- ONERA - CNRS - INPT *) |
5 |
(* *) |
6 |
(* LustreC is free software, distributed WITHOUT ANY WARRANTY *) |
7 |
(* under the terms of the GNU Lesser General Public License *) |
8 |
(* version 2.1. *) |
9 |
(* *) |
10 |
(********************************************************************) |
11 |
|
12 |
let version = Version.number |
13 |
let codename = Version.codename |
14 |
let include_dirs = ref ["."] |
15 |
|
16 |
let main_node = ref "" |
17 |
let static_mem = ref true |
18 |
let print_types = ref true |
19 |
let print_clocks = ref true |
20 |
let delay_calculus = ref true |
21 |
let track_exceptions = ref true |
22 |
let ansi = ref false |
23 |
let check = ref false |
24 |
let spec = ref "acsl" |
25 |
let output = ref "C" |
26 |
let dest_dir = ref "." |
27 |
let verbose_level = ref 1 |
28 |
let global_inline = ref false |
29 |
let witnesses = ref false |
30 |
let optimization = ref 2 |
31 |
let lusi = ref false |
32 |
let print_reuse = ref false |
33 |
let const_unfold = ref false |
34 |
let mpfr = ref false |
35 |
let mpfr_prec = ref 0 |
36 |
|
37 |
let traces = ref false |
38 |
let horn_cex = ref false |
39 |
let horn_query = ref true |
40 |
|
41 |
let cpp = ref false |
42 |
let int_type = ref "int" |
43 |
let real_type = ref "double" |
44 |
let print_prec_double = ref 15 |
45 |
let print_prec_float = ref 10 |
46 |
|
47 |
let sfunction = ref "" |
48 |
|
49 |
let mauve = ref "" |
50 |
(* test generation options *) |
51 |
let nb_mutants = ref 1000 |
52 |
let gen_mcdc = ref false |
53 |
let no_mutation_suffix = ref false |
54 |
|
55 |
|
56 |
|
57 |
(* Local Variables: *) |
58 |
(* compile-command:"make -C .." *) |
59 |
(* End: *) |