sig
type 'a cell
val make_cell :
?if_assumptions_fail:[ `Fatal | `Warning ] * float ->
?count:int ->
?long_factor:int ->
?negative:bool ->
?max_gen:int ->
?max_fail:int ->
?retries:int ->
?name:string ->
?print:'a QCheck2.Print.t ->
?collect:('a -> string) ->
?stats:'a QCheck2.stat list ->
'a QCheck2.Gen.t -> ('a -> bool) -> 'a QCheck2.Test.cell
val make_cell_from_QCheck1 :
?if_assumptions_fail:[ `Fatal | `Warning ] * float ->
?count:int ->
?long_factor:int ->
?negative:bool ->
?max_gen:int ->
?max_fail:int ->
?retries:int ->
?name:string ->
gen:(Stdlib.Random.State.t -> 'a) ->
?shrink:('a -> ('a -> unit) -> unit) ->
?print:('a -> string) ->
?collect:('a -> string) ->
stats:'a QCheck2.stat list -> ('a -> bool) -> 'a QCheck2.Test.cell
val get_law : 'a QCheck2.Test.cell -> 'a -> bool
val get_name : 'a QCheck2.Test.cell -> string
val get_gen : 'a QCheck2.Test.cell -> 'a QCheck2.Gen.t
val get_print_opt : 'a QCheck2.Test.cell -> 'a QCheck2.Print.t option
val get_collect_opt : 'a QCheck2.Test.cell -> ('a -> string) option
val get_stats : 'a QCheck2.Test.cell -> 'a QCheck2.stat list
val set_name : 'a QCheck2.Test.cell -> string -> unit
val get_count : 'a QCheck2.Test.cell -> int
val get_long_factor : 'a QCheck2.Test.cell -> int
val get_positive : 'a QCheck2.Test.cell -> bool
type t = Test : 'a QCheck2.Test.cell -> QCheck2.Test.t
val make :
?if_assumptions_fail:[ `Fatal | `Warning ] * float ->
?count:int ->
?long_factor:int ->
?max_gen:int ->
?max_fail:int ->
?retries:int ->
?name:string ->
?print:'a QCheck2.Print.t ->
?collect:('a -> string) ->
?stats:'a QCheck2.stat list ->
'a QCheck2.Gen.t -> ('a -> bool) -> QCheck2.Test.t
val make_neg :
?if_assumptions_fail:[ `Fatal | `Warning ] * float ->
?count:int ->
?long_factor:int ->
?max_gen:int ->
?max_fail:int ->
?retries:int ->
?name:string ->
?print:'a QCheck2.Print.t ->
?collect:('a -> string) ->
?stats:'a QCheck2.stat list ->
'a QCheck2.Gen.t -> ('a -> bool) -> QCheck2.Test.t
val test_get_count : QCheck2.Test.t -> int
val test_get_long_factor : QCheck2.Test.t -> int
val fail_report : string -> 'a
val fail_reportf :
('a, Stdlib.Format.formatter, unit, 'b) Stdlib.format4 -> 'a
exception Test_fail of string * string list
exception Test_error of string * string * exn * string
val print_instance : 'a QCheck2.Test.cell -> 'a -> string
val print_c_ex :
'a QCheck2.Test.cell -> 'a QCheck2.TestResult.counter_ex -> string
val print_fail :
'a QCheck2.Test.cell ->
string -> 'a QCheck2.TestResult.counter_ex list -> string
val print_fail_other : string -> msg:string -> string
val print_expected_failure :
'a QCheck2.Test.cell -> 'a QCheck2.TestResult.counter_ex list -> string
val print_error :
?st:string ->
'a QCheck2.Test.cell ->
string -> 'a QCheck2.TestResult.counter_ex * exn -> string
val print_test_fail : string -> string list -> string
val print_test_error : string -> string -> exn -> string -> string
val print_collect : (string, int) Stdlib.Hashtbl.t -> string
val print_stat : 'a QCheck2.stat * (int, int) Stdlib.Hashtbl.t -> string
val check_result : 'a QCheck2.Test.cell -> 'a QCheck2.TestResult.t -> unit
type res = Success | Failure | FalseAssumption | Error of exn * string
type 'a event =
Generating
| Collecting of 'a
| Testing of 'a
| Shrunk of int * 'a
| Shrinking of int * int * 'a
type 'a handler =
string -> 'a QCheck2.Test.cell -> 'a QCheck2.Test.event -> unit
type 'a step =
string -> 'a QCheck2.Test.cell -> 'a -> QCheck2.Test.res -> unit
type 'a callback =
string -> 'a QCheck2.Test.cell -> 'a QCheck2.TestResult.t -> unit
val check_cell :
?long:bool ->
?call:'a QCheck2.Test.callback ->
?step:'a QCheck2.Test.step ->
?handler:'a QCheck2.Test.handler ->
?rand:Stdlib.Random.State.t ->
'a QCheck2.Test.cell -> 'a QCheck2.TestResult.t
val check_cell_exn :
?long:bool ->
?call:'a QCheck2.Test.callback ->
?step:'a QCheck2.Test.step ->
?handler:'a QCheck2.Test.handler ->
?rand:Stdlib.Random.State.t -> 'a QCheck2.Test.cell -> unit
val check_exn :
?long:bool -> ?rand:Stdlib.Random.State.t -> QCheck2.Test.t -> unit
end