Project

General

Profile

Download (2.09 KB) Statistics
| Branch: | Tag: | Revision:
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

    
14
let codename = Version.codename
15

    
16
let include_dirs = ref [ "." ]
17

    
18
let main_node = ref ""
19

    
20
let static_mem = ref true
21

    
22
let print_types = ref false
23

    
24
let print_clocks = ref false
25

    
26
let delay_calculus = ref true
27

    
28
let track_exceptions = ref true
29

    
30
let ansi = ref false
31

    
32
let check = ref false
33

    
34
let spec = ref "no"
35

    
36
let output = ref "C"
37

    
38
let dest_dir = ref "."
39

    
40
let verbose_level = ref 1
41

    
42
let global_inline = ref false
43

    
44
let witnesses = ref false
45

    
46
let optimization = ref 2
47

    
48
let lusi = ref false
49

    
50
let print_nodes = ref false
51

    
52
let print_reuse = ref false
53

    
54
let const_unfold = ref false
55

    
56
let mpfr = ref false
57

    
58
let mpfr_prec = ref 100
59

    
60
let print_dec_types = ref false
61

    
62
let compile_header = ref true
63

    
64
(* Option to select the expected behavior of integer division: Euclidian or C.
65
   Default C !!! *)
66
let integer_div_euclidean = ref false
67

    
68
let traces = ref false
69

    
70
let horn_cex = ref false
71

    
72
let horn_query = ref true
73

    
74
let cpp = ref false
75

    
76
let int_type = ref "int"
77

    
78
let real_type = ref "double"
79

    
80
let print_prec_double = ref 15
81

    
82
let print_prec_float = ref 10
83

    
84
let sfunction = ref ""
85

    
86
let mauve = ref ""
87

    
88
(* test generation options *)
89
let nb_mutants = ref 1000
90

    
91
let gen_mcdc = ref false
92

    
93
let no_mutation_suffix = ref false
94

    
95
(* Algebraic loops unrolling *)
96
let solve_al = ref false
97

    
98
let al_nb_max = ref 15
99

    
100
(* Printer options *)
101
let kind2_print = ref false
102

    
103
(* Local Variables: *)
104
(* compile-command:"make -C .." *)
105
(* End: *)
(47-47/66)