ProofSession (frama-c-wp.Wp.ProofSession)

type script =

| NoScript

| Script of string

| Deprecated of string

val pp_file : Stdlib.Format.formatter -> string -> unit

val pp_script_for : Stdlib.Format.formatter -> Wpo.t -> unit

val get : Wpo.t -> script

val exists : Wpo.t -> bool

val save : stdout:bool -> Wpo.t -> Frama_c_kernel.Json.t -> unit

val load : Wpo.t -> Frama_c_kernel.Json.t

val remove : Wpo.t -> unit

val filename : force:bool -> Wpo.t -> string

val mark : Wpo.t -> unit

val reset_marks : unit -> unit

val remove_unmarked_files : dry:bool -> unit