module TestResult:sig
..end
type 'a
counter_ex = {
|
instance : |
(* |
The counter-example(s)
| *) |
|
shrink_steps : |
(* |
How many shrinking steps for this counterex
| *) |
type'a
failed_state ='a counter_ex list
type 'a
state =
| |
Success |
|||
| |
Failed of |
(* |
Failed instances
| *) |
| |
Error of |
(* |
Error, and instance that triggered it
| *) |
type 'a
t = {
|
mutable state : |
|
mutable count : |
|
mutable count_gen : |
|
collect_tbl : |