sig
val assert_failure : string -> 'a
val assert_bool : string -> bool -> unit
val ( @? ) : string -> bool -> unit
val assert_string : string -> unit
val assert_command :
?exit_code:Unix.process_status ->
?sinput:char Stream.t ->
?foutput:(char Stream.t -> unit) ->
?use_stderr:bool ->
?env:string array -> ?verbose:bool -> string -> string list -> unit
val assert_equal :
?cmp:('a -> 'a -> bool) ->
?printer:('a -> string) ->
?pp_diff:(Format.formatter -> 'a * 'a -> unit) ->
?msg:string -> 'a -> 'a -> unit
val assert_raises : ?msg:string -> exn -> (unit -> 'a) -> unit
val skip_if : bool -> string -> unit
val todo : string -> unit
val cmp_float : ?epsilon:float -> float -> float -> bool
val bracket : (unit -> 'a) -> ('a -> unit) -> ('a -> unit) -> unit -> unit
val bracket_tmpfile :
?prefix:string ->
?suffix:string ->
?mode:Pervasives.open_flag list ->
(string * Pervasives.out_channel -> unit) -> unit -> unit
type test_fun = unit -> unit
type test =
TestCase of OUnit.test_fun
| TestList of OUnit.test list
| TestLabel of string * OUnit.test
val ( >: ) : string -> OUnit.test -> OUnit.test
val ( >:: ) : string -> OUnit.test_fun -> OUnit.test
val ( >::: ) : string -> OUnit.test list -> OUnit.test
val test_decorate :
(OUnit.test_fun -> OUnit.test_fun) -> OUnit.test -> OUnit.test
val test_filter :
?skip:bool -> string list -> OUnit.test -> OUnit.test option
val test_case_count : OUnit.test -> int
type node = ListItem of int | Label of string
type path = OUnit.node list
val string_of_node : OUnit.node -> string
val string_of_path : OUnit.path -> string
val test_case_paths : OUnit.test -> OUnit.path list
type test_result =
RSuccess of OUnit.path
| RFailure of OUnit.path * string
| RError of OUnit.path * string
| RSkip of OUnit.path * string
| RTodo of OUnit.path * string
type test_event =
EStart of OUnit.path
| EEnd of OUnit.path
| EResult of OUnit.test_result
type test_results = OUnit.test_result list
val perform_test :
(OUnit.test_event -> unit) -> OUnit.test -> OUnit.test_results
val run_test_tt : ?verbose:bool -> OUnit.test -> OUnit.test_results
val run_test_tt_main :
?arg_specs:(Arg.key * Arg.spec * Arg.doc) list ->
?set_verbose:(bool -> unit) -> OUnit.test -> OUnit.test_results
val ounit2_of_ounit1 : OUnit.test -> OUnit2.test
end