Alcotest (u.2a30fdf0104da8b34fc241d1b868325a.octez-alcotezt.18.0.doc.octez-alcotezt.Octez

This module provides a subset of the interface of the Alcotest module of the real Alcotest library. But instead of using Alcotest to run the tests, it uses Tezt. This allows to transition from Alcotest to Tezt without having to actually change the code. In turn, this allows to benefit from Tezt features such as auto-balancing in the CI. One can then use Tezt's modules in the test, to gradually migrate the test to Tezt and stop using this wrapper.

This module is intended as a way to help transition from Alcotest to Tezt, not to use both at the same time forever. First use Alcotezt to have the test runnable using Tezt, as a quick win to get auto-balancing etc. Then stop using Alcotest functions and migrate existing calls at the pace that is convenient for you.

Sourcetype return = unit

Return type for tests.

Sourcetype speed_level = [

| `Quick
| `Slow

]

Speed levels.

In Alcotest, one can ask not to run slow tests with -q from the command-line. In Tezt, the equivalent is -a quick.

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

Test cases.

The name of the Alcotest test case appears in Tezt's logs, but it is not used in the Tezt test title, nor as a tag.

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

Make a test case.

Sourceexception Test_error

Can be raised to fail a test.

Sourcetype 'a test = string * 'a test_case list

Tests.

In Tezt, the name of the test is used as the title of the test.

Sourceval run : __FILE__:string -> string -> unit test list -> return

Run a test suite.

In Tezt, this calls Test.register but does not actually run the test suite. The name of the test suite is used as the filename for the Tezt test.

Sourcemodule type TESTABLE = sig ... end

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

Values that can be tested with check.

Source

val testable : 
  (Format.formatter -> 'a -> unit) ->
  ('a -> 'a -> bool) ->
  'a testable

testable pp eq is a new testable with the pretty-printer pp and equality eq.

Sourceval pp : 'a testable -> Format.formatter -> 'a -> return

pp t is t's pretty-printer.

Sourceval of_pp : (Format.formatter -> 'a -> return) -> 'a testable

of_pp pp tests values which can be printed using pp and compared using Stdlib.compare

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

equal t is t's equality.

Sourceval unit : unit testable

The unit testable type.

Sourceval string : string testable

The string testable type.

Sourceval bool : bool testable

The boolean testable type.

Sourceval bytes : bytes testable

The bytes testable type.

Sourceval int64 : int64 testable

The int64 testable type.

Sourceval int32 : int32 testable

The int32 testable type.

Sourceval int : int testable

The int testable type.

Sourceval float : float -> float testable

The float testable type.

Sourceval list : 'a testable -> 'a list testable

The list testable type.

Sourceval array : 'a testable -> 'a array testable

The array testable type.

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

The pair testable type.

Source

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

The triple testable type.

Sourceval result : 'a testable -> 'e testable -> ('a, 'e) result testable

The result testable type.

Sourceval option : 'a testable -> 'a option testable

The option testable type.

Sourceval check : 'a testable -> string -> 'a -> 'a -> return

Check that two values are equal.

In Tezt, this becomes Check.(=) where ~error_msg is msg ^ ": expected %L, got %R" where msg is the string given to check.

Sourceval check' : 'a testable -> msg:string -> expected:'a -> actual:'a -> return

Check that two values are equal (labeled variant of check).

Sourceval check_raises : string -> exn -> (unit -> unit) -> return

Check that an exception is raised.

Sourceval fail : string -> 'a

Fail the current test (string version).

Sourceval failf : ('a, Format.formatter, return, 'b) format4 -> 'a

Fail the current test (format version).