Project

General

Profile

Revision e7cc5186 src/options.ml

View differences:

src/options.ml
15 15

  
16 16
let main_node = ref ""
17 17
let static_mem = ref true
18
let print_types = ref true
19
let print_clocks = ref true
18
let print_types = ref false
19
let print_clocks = ref false
20 20
let delay_calculus = ref true
21 21
let track_exceptions = ref true
22 22
let ansi = ref false
......
52 52
let gen_mcdc = ref false
53 53
let no_mutation_suffix = ref false
54 54

  
55

  
55
let solve_al = ref false
56 56

  
57 57
(* Local Variables: *)
58 58
(* compile-command:"make -C .." *)

Also available in: Unified diff