Project

General

Profile

Revision 2fb97ad4 src/verifierType.ml

View differences:

src/verifierType.ml
5 5
  val is_active: unit -> bool
6 6
  val options: (string * Arg.spec * string) list
7 7
  val get_normalization_params: unit -> Normalization.param_t
8
  val run: string -> LustreSpec.program_t -> Machine_code.machine_t list -> unit 
8
  val run: string -> Lustre_types.program_t -> Machine_code_types.machine_t list -> unit 
9 9
end
10 10

  
11 11
module Default =

Also available in: Unified diff