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.Exception.failure_kind -> t -> t