Project

General

Profile

« Previous | Next » 

Revision 84902260

Added by jbraine almost 6 years ago

Arrays

View differences:

src/options.ml
38 38
let horntraces = ref false
39 39
let horn_cex = ref false
40 40
let horn_query = ref true
41

  
41
let dest_file = ref ""
42 42

  
43 43
let options =
44 44
  [ "-d", Arg.Set_string dest_dir,
45 45
    "uses the specified directory as root for generated/imported object and C files (default: .)";
46
    "-out", Arg.Set_string dest_file, "Destination file for horn output";
46 47
    "-node", Arg.Set_string main_node, "specifies the main node";
47 48
    "-init", Arg.Set delay_calculus, "performs an initialisation analysis for Lustre nodes <default: no analysis>";
48 49
    "-dynamic", Arg.Clear static_mem, "specifies a dynamic allocation scheme for main Lustre node <default: static>";
......
65 66
    "-print_clocks", Arg.Set print_clocks, "prints node clocks";
66 67
    "-O", Arg.Set_int optimization, " changes optimization level <default: 2>";
67 68
    "-verbose", Arg.Set_int verbose_level, " changes verbose level <default: 1>";
68
    "-version", Arg.Unit print_version, " displays the version";]
69

  
69
    "-version", Arg.Unit print_version, " displays the version"
70
    ]
71
 
70 72

  
71 73
let get_witness_dir filename =
72 74
  (* Make sure the directory exists *)

Also available in: Unified diff