Testable collects Alcotest.testable definitions for OCaml base types.
include module type of struct include Alcotest endtype !'a test_case = string * speed_level * ('a -> return)val test_case : string -> speed_level -> ('a -> return) -> 'a test_casetype !'a test = string * 'a test_case listtype !'a with_options =
?stdout:Alcotest_engine__.Formatters.stdout ->
?stderr:Alcotest_engine__.Formatters.stderr ->
?and_exit:bool ->
?verbose:bool ->
?compact:bool ->
?tail_errors:[ `Limit of int | `Unlimited ] ->
?quick_only:bool ->
?show_errors:bool ->
?json:bool ->
?filter:(name:string -> index:int -> [ `Run | `Skip ]) ->
?log_dir:string ->
?bail:bool ->
?record_backtrace:bool ->
?ci:Alcotest_engine__.Config.ci ->
'aval run :
(?argv:string array -> string -> unit test list -> return) with_optionsval run_with_args :
(?argv:string array ->
string ->
'a Cmdliner.Term.t ->
'a test list ->
return)
with_optionstype !'a testable = (module TESTABLE with type t = 'a)val testable : 'a Fmt.t -> ('a -> 'a -> bool) -> 'a testableval pp : 'a testable -> 'a Fmt.tval equal : 'a testable -> 'a -> 'a -> boolval bool : bool testableval int : int testableval int32 : int32 testableval int64 : int64 testableval float : float -> float testableval char : char testableval string : string testableval bytes : bytes testableval unit : unit testableval of_pp : 'a Fmt.t -> 'a testableval pass : 'a testableval reject : 'a testableval check : ('a testable -> string -> 'a -> 'a -> unit) extra_infoval check' :
('a testable -> msg:string -> expected:'a -> actual:'a -> unit) extra_infoval fail : (string -> 'a) extra_infoval failf :
(('a, Stdlib.Format.formatter, unit, 'b) Stdlib.format4 -> 'a) extra_infoval check_raises : (string -> exn -> (unit -> unit) -> unit) extra_infoval match_raises :
(string -> (exn -> bool) -> (unit -> unit) -> unit) extra_infoval exn : exn testable