Testable (mavkit-libs.Mavryk_test

include module type of struct include Alcotest end

type return = unit

type speed_level = [

| `Quick
| `Slow

]

type !'a test_case = string * speed_level * ('a -> return)

exception Test_error

val test_case : string -> speed_level -> ('a -> return) -> 'a test_case

type !'a test = string * 'a test_case list

type !'a with_options =
  ?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 ->
  'a

val run : 
  (?argv:string array -> string -> unit test list -> return) with_options

val run_with_args : 
  (?argv:string array ->
    string ->
    'a Cmdliner.Term.t ->
    'a test list ->
    return)
    with_options

module type TESTABLE = Alcotest.TESTABLE

type !'a testable = (module TESTABLE with type t = 'a)

val testable : 'a Fmt.t -> ('a -> 'a -> bool) -> 'a testable

val pp : 'a testable -> 'a Fmt.t

val equal : 'a testable -> 'a -> 'a -> bool

val bool : bool testable

val int : int testable

val int32 : int32 testable

val int64 : int64 testable

val float : float -> float testable

val char : char testable

val string : string testable

val bytes : bytes testable

val unit : unit testable

val list : 'a testable -> 'a list testable

val slist : 'a testable -> ('a -> 'a -> int) -> 'a list testable

val array : 'a testable -> 'a array testable

val option : 'a testable -> 'a option testable

val result : 'a testable -> 'e testable -> ('a, 'e) Stdlib.result testable

val pair : 'a testable -> 'b testable -> ('a * 'b) testable

val triple : 
  'a testable ->
  'b testable ->
  'c testable ->
  ('a * 'b * 'c) testable

val of_pp : 'a Fmt.t -> 'a testable

val pass : 'a testable

val reject : 'a testable

val neg : 'a testable -> 'a testable

module Source_code_position = Alcotest.Source_code_position

type !'a extra_info =
  ?here:Source_code_position.here ->
  ?pos:Source_code_position.pos ->
  'a

val check : ('a testable -> string -> 'a -> 'a -> unit) extra_info

val check' : 
  ('a testable -> msg:string -> expected:'a -> actual:'a -> unit) extra_info

val fail : (string -> 'a) extra_info

val failf : 
  (('a, Stdlib.Format.formatter, unit, 'b) Stdlib.format4 -> 'a) extra_info

val check_raises : (string -> exn -> (unit -> unit) -> unit) extra_info

val skip : unit -> 'a

module V1 = Alcotest.V1

module Unix_platform = Alcotest.Unix_platform

val exn : exn testable

val map : ('b -> 'a) -> 'a0 testable -> 'b0 testable

val pair3 : ('a * ('b * 'c)) testable -> ('a0 * 'b0 * 'c0) testable

val pair4 : 
  ('a * ('b * ('c * 'd))) testable ->
  ('a0 * 'b0 * 'c0 * 'd0) testable

val tuple3 : 
  'a testable ->
  'b testable ->
  'c testable ->
  ('a0 * 'b0 * 'c0) testable

val tuple4 : 
  'a testable ->
  'b testable ->
  'c testable ->
  'd testable ->
  ('a0 * 'b0 * 'c0 * 'd0) testable