Result of running a test
type 'a state
=
| Success | |
| Failed of 'a failed_state | (** Failed instances *) |
| Error of 'a counter_ex * exn * string | (** Error, backtrace, 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; | |
stats_tbl : ('a stat * (int, int) Hashtbl.t) list; | (**
*) |
mutable instances : 'a list; | (** List of instances used for this test, in no particular order.
*) |
}