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 * 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 QCheck.stat * (int, int) Hashtbl.t) list;`	`(*`	Since 0.6	`*)`

}

val collect : 'a t -> (string, int) Hashtbl.t option

Obtain statistics
Since 0.6

val stats : 'a t -> ('a QCheck.stat * (int, int) Hashtbl.t) list

Obtain statistics
Since 0.6