Module IncrementalAnalysis.VerificationResults

type t
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val make : unit -> t
val reset : t -> unit
val prune : t -> string list -> unit

prune results proc_and_lemma_names

val merge : t -> t -> t
val set_result : t -> string -> (int * int) -> bool -> unit
val check_previously_verified : ?printer:(bool -> unit) -> t -> Utils.Containers.SS.t -> bool