Project

General

Profile

Revision d50b0dc0 src/options.ml

View differences:

src/options.ml
13 13
let include_path = Version.include_path
14 14

  
15 15
let print_version () =
16
  Format.printf "Lustrec compiler, version %s@." version;
16
  Format.printf "Lustrec compiler, version %s (dev)@." version;
17 17
  Format.printf "Include directory: %s@." include_path
18 18

  
19 19
let main_node = ref ""
......
37 37

  
38 38
let horntraces = ref false
39 39
let horn_cex = ref false
40
let horn_query = ref false
40
let horn_query = ref true
41 41

  
42 42

  
43 43
let options =
......
67 67
    "-verbose", Arg.Set_int verbose_level, " changes verbose level <default: 1>";
68 68
    "-version", Arg.Unit print_version, " displays the version";]
69 69

  
70

  
70 71
let get_witness_dir filename =
71 72
  (* Make sure the directory exists *)
72 73
  let dir = !dest_dir ^ "/" ^ (Filename.basename filename) ^ "_witnesses" in

Also available in: Unified diff