package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Module `Session.Spawn`

type t

type arg = Solver.t

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