package electrod

  1. Overview
  2. Docs

Provides a transformation from Electrod models to SMV models. Uses enumerations when possible.

module SMV_LTL : sig ... end
module SMV_file_format : sig ... end
module Elo_to_SMV_LTL : sig ... end
module Elo_to_SMV_model : sig ... end
val pp : ?margin:int -> Format.formatter -> SMV_file_format.t -> unit
val analyze : conversion_time:Mtime.span -> cmd:string -> script:Libelectrod__Solver.script_type -> keep_files:bool -> no_analysis:bool -> elo:Elo.t -> file:string -> bmc:int option -> pp_generated:bool -> SMV_file_format.t -> Outcome.t
val run : (Elo.t * bool * int) -> SMV_file_format.t
val transfo : (Elo.t * bool * int, SMV_file_format.t) Transfo.t