Module Mc2_smtlib.Make

Parameters

• ARG : sig ... end

Signature

val parse : string -> PA.statement list or_error

val parse_stdin : unit -> PA.statement list or_error

val typecheck : PA.statement list -> Mc2_core.Statement.t list or_error

val process_stmt : ?⁠gc:bool -> ?⁠restarts:bool -> ?⁠pp_cnf:bool -> ?⁠dot_proof:string -> ?⁠pp_model:bool -> ?⁠check:bool -> ?⁠time:float -> ?⁠memory:float -> ?⁠progress:bool -> ?⁠switch:Mc2_core.Util.Switch.t -> Mc2_core.Statement.t -> unit or_error

Process the given statement.