electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE
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 -> 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