Module Symex.Path_condition

type t
val pp : t Fmt.t
val empty : t
val add_checked_sat_condition : Smtml.Typed.Bool.t -> t -> t
val slice_on_new_condition : Smtml.Typed.Bool.t -> t -> Smtml.Expr.Set.t
val slice_on_symbol : Smtml.Symbol.t -> t -> Smtml.Expr.Set.t
val to_list : t -> Smtml.Expr.Set.t list
val get_known_equalities : t -> Smtml.Value.t Smtml.Symbol.Map.t