CristalCaveGem » LustreC

(********************************************************************)

let version = Version.number

let codename = Version.codename

let main_node = ref ""

let static_mem = ref true

let print_types = ref false

let print_clocks = ref false

let delay_calculus = ref true

let track_exceptions = ref true

let ansi = ref false

let check = ref false

let spec = ref "no"

let output = ref "C"

let dest_dir = ref "."

let verbose_level = ref 1

let global_inline = ref false

let witnesses = ref false

let optimization = ref 2

let lusi = ref false

let print_nodes = ref false

let print_reuse = ref false

let const_unfold = ref false

let mpfr = ref false

let mpfr_prec = ref 100

let print_dec_types = ref false

let compile_header = ref true

let integer_div_euclidean = ref false

let traces = ref false

let horn_cex = ref false

let horn_query = ref true

let real_type = ref "double"

let print_prec_double = ref 15

let print_prec_float = ref 10

let sfunction = ref ""

let mauve = ref ""

(* test generation options *)

let nb_mutants = ref 1000

let gen_mcdc = ref false

let no_mutation_suffix = ref false

(* Algebraic loops unrolling *)

let solve_al = ref false

let al_nb_max = ref 15

(* Printer options *)