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