module TestResult:sig
..end
Result of running a test
type 'a
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 =
| |
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 = private {
|
mutable state : |
|||
|
mutable count : |
|||
|
mutable count_gen : |
|||
|
collect_tbl : |
|||
|
stats_tbl : |
(* |
| *) |
|
mutable warnings : |
|||
|
mutable instances : |
(* | List of instances used for this test, in no particular order.
| *) |
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