sig
type 'a counter_ex =
'a QCheck2.TestResult.counter_ex = {
instance : 'a;
shrink_steps : int;
msg_l : string list;
}
type 'a failed_state = 'a QCheck.TestResult.counter_ex list
type 'a state =
'a QCheck2.TestResult.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 = 'a QCheck2.TestResult.t
val get_count : 'a QCheck.TestResult.t -> int
val get_count_gen : 'a QCheck.TestResult.t -> int
val get_state : 'a QCheck.TestResult.t -> 'a QCheck.TestResult.state
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