Result of running a test
type 'a counter_ex = {instance : 'a;The counter-example
*)shrink_steps : int;How many shrinking steps for this counter-example
*)msg_l : string list;}A counter-example when a test fails.
type 'a state = | SuccessIf the test passed.
*)| Failed of {instances : 'a counter_ex list;Failed instance(s)
*)}If the test failed "normally", i.e. a test returned false.
| Failed_other of {}If the test failed for an unusual reason:
Test.if_assumptions_fail was set to `Fatal| Error of {instance : 'a counter_ex;Instance that triggered the exception in the test
*)exn : exn;The raised exception
*)backtrace : string;A best-effort backtrace of the exception
*)}If the test failed "exceptionally" (an exception was raised by the test).
*)Result state.
changed in 0.10 (move to inline records, add Fail_other)
val get_count : _ t -> intget_count t returns the number of tests executed.
val get_count_gen : _ t -> intget_count_gen t returns the number of generated cases.
get_collect t returns the repartition of generated values.
get_stats t returns the statistics captured by the test.
val get_warnings : _ t -> string listget_warnings t returns the list of warnings emitted during the test.
val get_instances : 'a t -> 'a listget_instances t returns the generated instances, with no guarantee on the order.
val is_success : _ t -> boolReturns true iff the state if Success
val warnings : _ t -> string listObtain list of warnings