Project

General

Profile

« Previous | Next » 

Revision ca7ff3f7

Added by LĂ©lio Brun 7 months ago

reformatting

View differences:

src/options.ml
10 10
(********************************************************************)
11 11

  
12 12
let version = Version.number
13

  
13 14
let codename = Version.codename
14
let include_dirs = ref ["."]
15

  
16
let include_dirs = ref [ "." ]
15 17

  
16 18
let main_node = ref ""
19

  
17 20
let static_mem = ref true
21

  
18 22
let print_types = ref false
23

  
19 24
let print_clocks = ref false
25

  
20 26
let delay_calculus = ref true
27

  
21 28
let track_exceptions = ref true
29

  
22 30
let ansi = ref false
31

  
23 32
let check = ref false
33

  
24 34
let spec = ref "no"
35

  
25 36
let output = ref "C"
37

  
26 38
let dest_dir = ref "."
39

  
27 40
let verbose_level = ref 1
41

  
28 42
let global_inline = ref false
43

  
29 44
let witnesses = ref false
45

  
30 46
let optimization = ref 2
47

  
31 48
let lusi = ref false
49

  
32 50
let print_nodes = ref false
51

  
33 52
let print_reuse = ref false
53

  
34 54
let const_unfold = ref false
55

  
35 56
let mpfr = ref false
57

  
36 58
let mpfr_prec = ref 100
59

  
37 60
let print_dec_types = ref false
61

  
38 62
let compile_header = ref true
39 63

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

  
44 68
let traces = ref false
69

  
45 70
let horn_cex = ref false
71

  
46 72
let horn_query = ref true
47 73

  
48
let cpp       = ref false
49
let int_type  = ref "int"
74
let cpp = ref false
75

  
76
let int_type = ref "int"
77

  
50 78
let real_type = ref "double"
79

  
51 80
let print_prec_double = ref 15
81

  
52 82
let print_prec_float = ref 10
53 83

  
54 84
let sfunction = ref ""
55 85

  
56 86
let mauve = ref ""
87

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

  
59 91
let gen_mcdc = ref false
92

  
60 93
let no_mutation_suffix = ref false
61 94

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

  
64 98
let al_nb_max = ref 15
65 99

  
66 100
(* Printer options *)

Also available in: Unified diff