package octez-libs

You can search for identifiers within the package.

in-package search v0.2.0

A package that contains multiple base libraries used by the Octez suite

Install

Dune Dependency

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

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

tezos-octez-v20.1.tag.bz2

sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61

sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65

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

Module `Tezos_test_helpers.Testable`Source

Testable collects Alcotest.testable definitions for OCaml base types.

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 =
  ?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

Source

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