Result of running a test
type 'a failed_state = 'a counter_ex listtype 'a state = | Success| Failed of {instances : 'a failed_state;Failed instance(s)
*)}| Failed_other of {}| 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;mutable warnings : string list;mutable instances : 'a list;List of instances used for this test, in no particular order.
*)}val warnings : _ t -> string listObtain list of warnings
val is_success : _ t -> boolReturns true iff the state if Success