Module Session.Dump

!module-Dump is a dummy session that outputs its input stream to a file.

!val-check_sat and !val-check_sat_assuming always return !constructor-Unknown.

!val-get_value and !val-get_model return dummy results.

type t
type arg = string
val open_session : arg -> t
val put : t -> (Format.formatter -> 'a -> unit) -> 'a -> unit
val comment : t -> (Format.formatter -> 'a -> unit) -> 'a -> unit
val check_sat : t -> timeout:float -> status
val check_sat_assuming : t -> timeout:float -> (Format.formatter -> 'a -> unit) -> 'a -> status
val get_value : t -> (Format.formatter -> 'a -> unit) -> 'a -> (Binsec_smtlib__.Smtlib.term * Binsec_smtlib__.Smtlib.term) list
val get_model : t -> Binsec_smtlib__.Smtlib.model
val close_session : t -> unit
val pp : Format.formatter -> t -> unit