Module Wp.Cache

type mode =
| NoCache
| Update
| Replay
| Rebuild
| Offline
| Cleanup
val get_dir : unit -> string
val set_mode : mode -> unit
val get_mode : unit -> mode
val get_hits : unit -> int
val get_miss : unit -> int
val get_removed : unit -> int
val is_active : mode -> bool
val is_updating : mode -> bool
val cleanup_cache : unit -> unit
type 'a digest = Why3Provers.t -> 'a -> string
type 'a runner = timeout:int option -> steplimit:int option -> Why3Provers.t -> 'a -> VCS.result Frama_c_kernel.Task.task
val get_result : digest:'a digest -> runner:'a runner -> 'a runner
val clear_result : digest:'a digest -> Why3Provers.t -> 'a -> unit