aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/unit-tests/src/utest.mli
blob: 70928228bf2f84f95d0f4d34c3da6ef42c2f9ff5 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
(** give a name to a unit test *)
val mk_test : string -> OUnit.test -> OUnit.test

(** simple ways to build a test *)
val mk_eq_test : string -> string -> 'a -> 'a -> OUnit.test
val mk_bool_test : string -> string -> bool -> OUnit.test

(** run unit tests *)
(* the string argument should be the name of the .ml file
   containing the tests; use __FILE__ for that purpose.
 *)
val run_tests : string -> OUnit.test list -> unit