Module QCheck.TestResult

module TestResult: sig .. end
Result of running a test

type 'a counter_ex = {
   instance : 'a; (*
The counter-example(s)
*)
   shrink_steps : int; (*
How many shrinking steps for this counterex
*)
}
type 'a failed_state = 'a counter_ex list 
type 'a state = 
| Success
| Failed of 'a failed_state (*
Failed instances
*)
| Error of 'a counter_ex * exn (*
Error, and instance that triggered it
*)
type 'a t = {
   mutable state : 'a state;
   mutable count : int;
   mutable count_gen : int;
   collect_tbl : (string, int) Hashtbl.t lazy_t;
}