module TestResult:sig
..end
Result of running a test
type'a
counter_ex ='a QCheck2.TestResult.counter_ex
= {
|
instance : |
(* | The counter-example(s) | *) |
|
shrink_steps : |
(* | How many shrinking steps for this counterex | *) |
|
msg_l : |
(* | messages.
| *) |
}
type'a
failed_state ='a counter_ex list
type'a
state ='a QCheck2.TestResult.state
=
| |
Success |
|||||||||
| |
Failed of |
|||||||||
| |
Failed_other of |
|||||||||
| |
Error of |
(* | Error, backtrace, and instance that triggered it | *) |
Result state. changed in 0.10 (move to inline records, add Fail_other)
type'a
t ='a QCheck2.TestResult.t
val get_count : 'a t -> int
Get the count of a cell.
val get_count_gen : 'a t -> int
val get_state : 'a t -> 'a state
val collect : 'a t -> (string, int) Stdlib.Hashtbl.t option
Obtain statistics
val stats : 'a t -> ('a QCheck.stat * (int, int) Stdlib.Hashtbl.t) list
Obtain statistics
val warnings : 'a t -> string list
Obtain list of warnings
val is_success : 'a t -> bool
Returns true iff the state if Success