Module Dynamic_plugins.Wp

module Wp: sig .. end

module Wpo: sig .. end
val wp_compute_kf : Cil_datatype.Kf.t option -> string list -> string list -> unit
val wp_clear_session : unit -> unit
val wp_iter_session : (Wpo.po -> unit) -> unit
val wp_compute : Cil_datatype.Kf.t option -> string list -> Property.t option -> unit
val wp_end_session : unit -> unit
val wp_compute_call : Cil_datatype.Stmt.t -> unit
val run : unit -> unit
val wp_clear : unit -> unit
val wp_begin_session : unit -> unit
val wp_compute_ip : Property.t -> unit