Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / verifierType.ml @ f9f06e7d

History | View | Annotate | Download (495 Bytes)

1 ad4774b0 ploc
module type S =
2
sig
3
  val name: string
4
  val activate: unit -> unit
5
  val is_active: unit -> bool
6
  val options: (string * Arg.spec * string) list
7
  val get_normalization_params: unit -> Normalization.param_t
8 2fb97ad4 ploc
  val run: string -> Lustre_types.program_t -> Machine_code_types.machine_t list -> unit 
9 ad4774b0 ploc
end
10
11
module Default =
12
  struct
13
14
    let get_normalization_params () = {
15
    Normalization.unfold_arrow_active = true;
16
    force_alias_ite = false;
17
    force_alias_internal_fun = false;
18
  }
19
20
  end