Project

General

Profile

« Previous | Next » 

Revision ca7ff3f7

Added by LĂ©lio Brun 8 months ago

reformatting

View differences:

src/verifierType.ml
1
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
  val run: basename:string -> Lustre_types.program_t -> Machine_code_types.machine_t list -> unit 
9
end
1
module type S = sig
2
  val name : string
3

  
4
  val activate : unit -> unit
5

  
6
  val is_active : unit -> bool
10 7

  
11
module Default =
12
  struct
8
  val options : (string * Arg.spec * string) list
13 9

  
14
    let get_normalization_params () = {
15
    Normalization.unfold_arrow_active = true;
16
    force_alias_ite = false;
17
    force_alias_internal_fun = false;
18
  }
10
  val get_normalization_params : unit -> Normalization.param_t
19 11

  
20
  end
12
  val run :
13
    basename:string ->
14
    Lustre_types.program_t ->
15
    Machine_code_types.machine_t list ->
16
    unit
17
end
18

  
19
module Default = struct
20
  let get_normalization_params () =
21
    {
22
      Normalization.unfold_arrow_active = true;
23
      force_alias_ite = false;
24
      force_alias_internal_fun = false;
25
    }
26
end

Also available in: Unified diff