sig
type 'a counter_ex = { instance : 'a; shrink_steps : int; }
type 'a failed_state = 'a QCheck.TestResult.counter_ex list
type 'a state =
Success
| Failed of 'a QCheck.TestResult.failed_state
| Error of 'a QCheck.TestResult.counter_ex * exn * string
type 'a t = {
mutable state : 'a QCheck.TestResult.state;
mutable count : int;
mutable count_gen : int;
collect_tbl : (string, int) Hashtbl.t lazy_t;
stats_tbl : ('a QCheck.stat * (int, int) Hashtbl.t) list;
}
val collect : 'a QCheck.TestResult.t -> (string, int) Hashtbl.t option
val stats :
'a QCheck.TestResult.t -> ('a QCheck.stat * (int, int) Hashtbl.t) list
end