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 -> t
val (>:~) : string -> Async.test_fun -> t
val (>:::) : string -> t list -> t
val 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) -> unit
assert_raises_string str task
returns unit if task ()
raises an
exception e
for which Printexc.to_string e = str
, and otherwise
raises TestFailure.