lustrec / src / options.ml @ e7cc5186
History | View | Annotate | Download (1.74 KB)
1 | a2d97a3e | ploc | (********************************************************************) |
---|---|---|---|
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 | 22fe1c93 | ploc | |
12 | 1e48ef45 | ploc | let version = Version.number |
13 | 41e48ef3 | Eric NOULARD | let codename = Version.codename |
14 | 990210f3 | ploc | let include_dirs = ref ["."] |
15 | 1e48ef45 | ploc | |
16 | 22fe1c93 | ploc | let main_node = ref "" |
17 | let static_mem = ref true |
||
18 | e7cc5186 | ploc | let print_types = ref false |
19 | let print_clocks = ref false |
||
20 | 22fe1c93 | ploc | let delay_calculus = ref true |
21 | let track_exceptions = ref true |
||
22 | let ansi = ref false |
||
23 | let check = ref false |
||
24 | d4107cf2 | ploc | let spec = ref "acsl" |
25 | 3ee1012f | ploc | let output = ref "C" |
26 | 7291cb80 | xthirioux | let dest_dir = ref "." |
27 | 22fe1c93 | ploc | let verbose_level = ref 1 |
28 | e2380d4d | ploc | let global_inline = ref false |
29 | let witnesses = ref false |
||
30 | c1adf235 | ploc | let optimization = ref 2 |
31 | ed81df06 | xthirioux | let lusi = ref false |
32 | 89a70069 | xthirioux | let print_reuse = ref false |
33 | 04a63d25 | xthirioux | let const_unfold = ref false |
34 | let mpfr = ref false |
||
35 | let mpfr_prec = ref 0 |
||
36 | a2d97a3e | ploc | |
37 | 04a63d25 | xthirioux | let traces = ref false |
38 | 43aa67ec | tkahsai | let horn_cex = ref false |
39 | 2c083577 | tkahsai | let horn_query = ref true |
40 | 22fe1c93 | ploc | |
41 | 52c5ba00 | David Doose | let cpp = ref false |
42 | let int_type = ref "int" |
||
43 | let real_type = ref "double" |
||
44 | 59fc6b1c | ploc | let print_prec_double = ref 15 |
45 | let print_prec_float = ref 10 |
||
46 | 1e48ef45 | ploc | |
47 | 1b57e111 | Teme | let sfunction = ref "" |
48 | |||
49 | 375cbca2 | ploc | let mauve = ref "" |
50 | 40d33d55 | xavier.thirioux | (* test generation options *) |
51 | let nb_mutants = ref 1000 |
||
52 | let gen_mcdc = ref false |
||
53 | let no_mutation_suffix = ref false |
||
54 | |||
55 | e7cc5186 | ploc | let solve_al = ref false |
56 | 22fe1c93 | ploc | |
57 | (* Local Variables: *) |
||
58 | (* compile-command:"make -C .." *) |
||
59 | (* End: *) |