Project

General

Profile

Revision f30a2012 src/options.ml

View differences:

src/options.ml
33 33
let java = ref false
34 34
let dest_dir = ref ""
35 35
let verbose_level = ref 1
36
let nb_mutants = ref 1000
36 37

  
37
let options =
38
  [ "-d", Arg.Set_string dest_dir,
39
    "produces code in the specified directory";
38
let common_options =
39
  [  "-print_types", Arg.Set print_types, "prints node types";
40
    "-print_clocks", Arg.Set print_clocks, "prints node clocks";
41
    "-verbose", Arg.Set_int verbose_level, " changes verbose level <default: 1>";
42
    "-version", Arg.Unit (fun () -> print_endline version), " displays the version";]
43

  
44
let lustrec_options = 
45
  [ "-d", Arg.Set_string dest_dir, "produces code in the specified directory";
40 46
    "-node", Arg.Set_string main_node, "specifies the main node";
41 47
    "-init", Arg.Set delay_calculus, "performs an initialisation analysis for Lustre nodes";
42 48
    "-dynamic", Arg.Clear static_mem, "specifies a dynamic allocation scheme for main Lustre node (default: static)";
......
45 51
    "-c-spec", Arg.Set c_spec, 
46 52
    "generates a C encoding of the specification instead of ACSL contracts and annotations. Only meaningful for the C backend";
47 53
    "-java", Arg.Set java, "generates Java output instead of C";
48
    "-print_types", Arg.Set print_types, "prints node types";
49
    "-print_clocks", Arg.Set print_clocks, "prints node clocks";
50
    "-verbose", Arg.Set_int verbose_level, " changes verbose level <default: 1>";
51
    "-version", Arg.Unit (fun () -> print_endline version), " displays the version";]
54
  ] @ common_options
52 55

  
56
let lustrem_options =
57
  [ "-d", Arg.Set_string dest_dir, "produces mutants in the specified directory";
58
    "-nb", Arg.Set_int nb_mutants, "Number of mutants to produce (default 1000)"
59
 ]
60
  @ common_options
53 61

  
54 62
(* Local Variables: *)
55 63
(* compile-command:"make -C .." *)

Also available in: Unified diff