Project

General

Profile

Revision ad4774b0 src/options_management.ml

View differences:

src/options_management.ml
135 135
    "-no-mutation-suffix", Arg.Set no_mutation_suffix, "does not rename node with the _mutant suffix"
136 136
  ]
137 137

  
138
let lustrev_options =
139
   common_options @
140
  [ 
141
   "-inline", Arg.Unit (fun () -> global_inline := true; const_unfold := true), "inlines all node calls (require a main node). Implies constant unfolding";
142
    "-O", Arg.Set_int optimization, "changes optimization \x1b[4mlevel\x1b[0m <default: 2>";
143
]
144

  
145
  
138 146
let plugin_opt (name, activate, options) =
139 147
  ( "-" ^ name , Arg.Unit activate, "activate plugin " ^ name ) ::
140 148
    (List.map (fun (opt, act, desc) -> "-" ^ name ^ opt, act, desc) options)
141 149
 
150
let verifier_opt (name, activate, options) =
151
  ( "-" ^ name , Arg.Unit activate, "run verifier " ^ name ) ::
152
    (List.map (fun (opt, act, desc) -> "-" ^ name ^ opt, act, desc) options)
142 153

  
143 154
let get_witness_dir filename =
144 155
  (* Make sure the directory exists *)

Also available in: Unified diff