sig
type 'a counter_ex = {
instance : 'a;
shrink_steps : int;
msg_l : string list;
}
type 'a state =
Success
| Failed of { instances : 'a QCheck2.TestResult.counter_ex list; }
| Failed_other of { msg : string; }
| Error of { instance : 'a QCheck2.TestResult.counter_ex; exn : exn;
backtrace : string;
}
type 'a t
val get_state : 'a QCheck2.TestResult.t -> 'a QCheck2.TestResult.state
val get_count : 'a QCheck2.TestResult.t -> int
val get_count_gen : 'a QCheck2.TestResult.t -> int
val get_collect :
'a QCheck2.TestResult.t -> (string, int) Stdlib.Hashtbl.t option
val get_stats :
'a QCheck2.TestResult.t ->
('a QCheck2.stat * (int, int) Stdlib.Hashtbl.t) list
val get_warnings : 'a QCheck2.TestResult.t -> string list
val get_instances : 'a QCheck2.TestResult.t -> 'a list
val is_success : 'a QCheck2.TestResult.t -> bool
val stats :
'a QCheck2.TestResult.t ->
('a QCheck2.stat * (int, int) Stdlib.Hashtbl.t) list
val warnings : 'a QCheck2.TestResult.t -> string list
val collect :
'a QCheck2.TestResult.t -> (string, int) Stdlib.Hashtbl.t option
end