module Suite:sig..end
exception TestFailure of string
type result =
| |
Error of |
(* |
An unexpected error occurred in the test.
| *) |
| |
Fail of |
(* |
An assertion failed in the test.
| *) |
| |
Pass |
(* |
The test passed.
| *) |
type outcome = {
|
label : |
|
result : |
|
time_s : |
val string_of_result : result -> string
module Sync:sig..end
module Async:sig..end
type t =
| |
TestCase of |
(* |
A labelled single test.
| *) |
| |
TestList of |
(* |
A labelled list of tests.
| *) |
val (>::) : string -> Sync.test_fun -> tval (>:~) : string -> Async.test_fun -> tval (>:::) : string -> t list -> tval assert_true : ?label:string -> bool -> unit
val assert_equal : ?equal:('a -> 'a -> bool) ->
?label:string -> ?printer:('a -> string) -> 'a -> 'a -> unit
val assert_raises : ?label:string -> exn -> (unit -> unit) -> unit
val assert_raises_string : ?label:string -> string -> (unit -> unit) -> unitassert_raises_string str task returns unit if task () raises an
exception e for which Printexc.to_string e = str, and otherwise
raises TestFailure.