Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / options.ml @ master

History | View | Annotate | Download (1.93 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 8b87d0a5 ploc
let mpfr_prec = ref 100
36 74ca6b61 ploc
let print_dec_types = ref false
37 a2d97a3e ploc
38 3cd040e3 ploc
(* Option to select the expected behavior of integer division: Euclidian or
39
   C. Default C !!! *)
40
let integer_div_euclidean = ref false
41
  
42 04a63d25 xthirioux
let traces = ref false
43 43aa67ec tkahsai
let horn_cex = ref false
44 2c083577 tkahsai
let horn_query = ref true
45 22fe1c93 ploc
46 52c5ba00 David Doose
let cpp       = ref false
47
let int_type  = ref "int"
48
let real_type = ref "double"
49 59fc6b1c ploc
let print_prec_double = ref 15
50
let print_prec_float = ref 10
51 1e48ef45 ploc
52 1b57e111 Teme
let sfunction = ref ""
53
54 375cbca2 ploc
let mauve = ref ""
55 40d33d55 xavier.thirioux
(* test generation options *)
56
let nb_mutants = ref 1000
57
let gen_mcdc = ref false
58
let no_mutation_suffix = ref false
59
60 e7cc5186 ploc
let solve_al = ref false
61 264a4844 ploc
let al_nb_max = ref 15
62
  
63 22fe1c93 ploc
(* Local Variables: *)
64
(* compile-command:"make -C .." *)
65
(* End: *)