Module Summary.Stats

type t

Execution statistics

val add_visited : t -> int -> unit
val is_visited : t -> int -> bool
val update : ?⁠add_symops:int -> ?⁠failure_kind:IBase.SymOp.failure_kind -> t -> t