include module type of struct include Ppx_test.Test endtype t = Ppx_test.Test.tThe test type
val test_unit :
Ppx_test.Location.t ->
Ppx_test.Longident.t ->
(unit -> unit) ->
unitAdd a test of type unit -> unit. This is called when let %TEST_UNIT ppx phrase is called.
val test :
Ppx_test.Location.t ->
Ppx_test.Longident.t ->
(unit -> bool) ->
unitAdd a test of type unit -> bool. This is called when let %TEST ppx phrase is called.
val test_fail :
Ppx_test.Location.t ->
Ppx_test.Longident.t ->
(unit -> unit) ->
unitAdd a test of type unit -> unit. It must fail by raising an exception. This is called when let %TEST_FAIL ppx phrase is called.
module TestTool = Ppx_test.Test.TestToolRun tests added by test, test_unit and add. Then it prints the report to stderr and exit. The exit status is 0 if there is no error, otherwise, 1.
This is for standalone test executables: it parses command line options using arg_specs to select tests to perform. All the tests are executed by default.
For application programs with integrated test interface, use run_tests instead.
module Name = Ppx_test.Test.Namemodule Error = Ppx_test.Test.Errormodule Result = Ppx_test.Test.Resultmodule Report = Ppx_test.Test.Reportval run_tests : bool -> Report.tRun tests added by test, test_unit and add. It returns a report.
This is for application programs with integrated tests.
The boolean is to set the default value to perform each test or not. For test selections, applications must use arg_specs at its command line option parsing.
val arg_specs : (string * Arg.spec * string) listCommand line switches for testing options. Useful when integrating the tests into main applications instead of building independent test executables.
val add : t -> unitval fun_ : (unit -> bool) -> tval ident : Ppx_test.Longident.t -> t -> t