package qtest

  1. Overview
  2. Docs
type 'a cell
val make_cell : ?count:int -> ?max_gen:int -> ?max_fail:int -> ?small:('a -> int) -> ?name:string -> 'a arbitrary -> ('a -> bool) -> 'a cell
val get_arbitrary : 'a cell -> 'a arbitrary
val get_law : 'a cell -> 'a -> bool
val get_name : 'a cell -> string option
val set_name : 'a cell -> string -> unit
type t =
  1. | Test : 'a cell -> t
val make : ?count:int -> ?max_gen:int -> ?max_fail:int -> ?small:('a -> int) -> ?name:string -> 'a arbitrary -> ('a -> bool) -> t
exception Test_fail of string * string list
exception Test_error of string * string * exn * string
val print_instance : 'a arbitrary -> 'a -> string
val print_c_ex : 'a arbitrary -> 'a TestResult.counter_ex -> string
val print_fail : 'a arbitrary -> string -> 'a TestResult.counter_ex list -> string
val print_error : ?st:string -> 'a arbitrary -> string -> ('a TestResult.counter_ex * exn) -> string
val print_test_fail : string -> string list -> string
val print_test_error : string -> string -> exn -> string -> string
val check_result : 'a cell -> 'a TestResult.t -> unit
type !'a callback = string -> 'a cell -> 'a TestResult.t -> unit
val check_cell : ?call:'a callback -> ?rand:Random.State.t -> 'a cell -> 'a TestResult.t
val check_cell_exn : ?call:'a callback -> ?rand:Random.State.t -> 'a cell -> unit
val check_exn : ?rand:Random.State.t -> t -> unit
OCaml

Innovation. Community. Security.