Module QCheck.TestResult

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

msg_l : string list;

messages.

since
0.7
}
type 'a failed_state = 'a counter_ex list
type 'a state =
| Success
| Failed of {
instances : 'a failed_state;

Failed instance(s)

}
| Failed_other of {
msg : string;
}
| Error of {
instance : 'a counter_ex;
exn : exn;
backtrace : string;
}

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 : '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;
since
0.6
mutable warnings : string list;
mutable instances : 'a list;

List of instances used for this test, in no particular order.

since
0.9
}
val collect : _ t -> (string, int) Hashtbl.t option

Obtain statistics

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

Obtain statistics

since
0.6
val warnings : _ t -> string list

Obtain list of warnings

since
0.10
val is_success : _ t -> bool

Returns true iff the state if Success

since
0.9