Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / options.ml @ 684d39e7

History | View | Annotate | Download (1.93 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 false
19
let print_clocks = ref false
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 100
36
let print_dec_types = ref false
37

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

    
46
let cpp       = ref false
47
let int_type  = ref "int"
48
let real_type = ref "double"
49
let print_prec_double = ref 15
50
let print_prec_float = ref 10
51

    
52
let sfunction = ref ""
53

    
54
let mauve = ref ""
55
(* test generation options *)
56
let nb_mutants = ref 1000
57
let gen_mcdc = ref false
58
let no_mutation_suffix = ref false
59

    
60
let solve_al = ref false
61
let al_nb_max = ref 15
62
  
63
(* Local Variables: *)
64
(* compile-command:"make -C .." *)
65
(* End: *)