Project

General

Profile

Download (2.17 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 = 
13
   match Build_info.V1.version () with
14
      | None -> "n/a"
15
      | Some v -> Build_info.V1.Version.to_string v
16
let include_dirs = ref ["."]
17

    
18
let main_node = ref ""
19
let static_mem = ref true
20
let print_types = ref false
21
let print_clocks = ref false
22
let delay_calculus = ref true
23
let track_exceptions = ref true
24
let ansi = ref false
25
let check = ref false
26
let spec = ref "acsl"
27
let output = ref "C"
28
let dest_dir = ref "."
29
let verbose_level = ref 1
30
let global_inline = ref false
31
let witnesses = ref false
32
let optimization = ref 2
33
let lusi = ref false
34
let print_nodes = ref false
35
let print_reuse = ref false
36
let const_unfold = ref false
37
let mpfr = ref false
38
let mpfr_prec = ref 100
39
let print_dec_types = ref false
40
let compile_header = ref true
41

    
42
(* Option to select the expected behavior of integer division: Euclidian or
43
   C. Default C !!! *)
44
let integer_div_euclidean = ref false
45
  
46
let traces = ref false
47
let horn_cex = ref false
48
let horn_query = ref true
49

    
50
let cpp       = ref false
51
let int_type  = ref "int"
52
let real_type = ref "double"
53
let print_prec_double = ref 15
54
let print_prec_float = ref 10
55

    
56
let sfunction = ref ""
57

    
58
let mauve = ref ""
59
(* test generation options *)
60
let nb_mutants = ref 1000
61
let gen_mcdc = ref false
62
let no_mutation_suffix = ref false
63

    
64
(* Algebraic loops unrolling *)
65
let solve_al = ref false
66
let al_nb_max = ref 15
67

    
68
(* Printer options *)
69
let kind2_print = ref false
70
                    
71
                  
72
(* Local Variables: *)
73
(* compile-command:"make -C .." *)
74
(* End: *)
(32-32/47)