package octez-libs

  1. Overview
  2. Docs
A package that contains multiple base libraries used by the Octez suite

Install 

dune-project
 Dependency

www.tezos.com Readme Edit opam file Versions (5)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-18.1.tar.gz
sha256=aa2f5bc99cc4ca2217c52a1af2a2cdfd3b383208cb859ca2e79ca0903396ca1d
sha512=d68bb3eb615e3dcccc845fddfc9901c95b3c6dc8e105e39522ce97637b1308a7fa7aa1d271351d5933febd7476b2819e1694f31198f1f0919681f1f9cc97cb3a

doc/octez-libs.test-helpers/Tezos_test_helpers/Testable/index.html

Module Tezos_test_helpers.TestableSource

Testable collects Alcotest.testable definitions for OCaml base types.

include module type of struct include Alcotest end
type return = unit
type speed_level = [
  1. | `Quick
  2. | `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 = ?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 -> '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 seq : 'a testable -> 'a Seq.t 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) 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, Format.formatter, unit, 'b) format4 -> 'a) extra_info
val check_raises : (string -> exn -> (unit -> unit) -> unit) extra_info
val match_raises : (string -> (exn -> bool) -> (unit -> unit) -> unit) extra_info
val skip : unit -> 'a
module V1 = Alcotest.V1
module Unix_platform = Alcotest.Unix_platform
Sourceval exn : exn testable
Sourceval map : ('b -> 'a) -> 'a testable -> 'b testable
Sourceval pair3 : ('a * ('b * 'c)) testable -> ('a * 'b * 'c) testable
Sourceval pair4 : ('a * ('b * ('c * 'd))) testable -> ('a * 'b * 'c * 'd) testable
Sourceval tuple3 : 'a testable -> 'b testable -> 'c testable -> ('a * 'b * 'c) testable
Sourceval tuple4 : 'a testable -> 'b testable -> 'c testable -> 'd testable -> ('a * 'b * 'c * 'd) testable