Module QCheck_ounit

module QCheck_ounit: sig .. end

Conversion of tests to OUnit Tests


Since 0.9

val to_ounit_test : ?verbose:bool ->
?long:bool -> ?rand:Random.State.t -> QCheck.Test.t -> OUnit.test
to_ounit_test ~rand t wraps t into a OUnit test
verbose : used to print information on stdout (default: verbose())
rand : the random generator to use (default: random_state ())
val to_ounit_test_cell : ?verbose:bool ->
?long:bool -> ?rand:Random.State.t -> 'a QCheck.Test.cell -> OUnit.test
Same as QCheck_ounit.to_ounit_test but with a polymorphic test cell
val (>:::) : string -> QCheck.Test.t list -> OUnit.test
Same as OUnit.>::: but with a list of QCheck tests
val to_ounit2_test : ?rand:Random.State.t -> QCheck.Test.t -> OUnit2.test
to_ounit2_test ?rand t wraps t into a OUnit2 test
rand : the random generator to use (default: a static seed for reproducibility), can be overridden with "-seed" on the command-line
val to_ounit2_test_list : ?rand:Random.State.t -> QCheck.Test.t list -> OUnit2.test list
to_ounit2_test_list ?rand t like to_ounit2_test but for a list of tests

OUnit runners

QCheck provides some custom runners for OUnit tests.

Note that OUnit.run_test_tt or OUnit.run_test_tt_main can be used as well, in particular when QCheck tests are mixed with normal unit tests.

For OUnit2 you can use OUnit2.run_test_tt_main.

val run : ?argv:string array -> OUnit.test -> int
run test runs the test, and returns an error code that is 0 if all tests passed, 1 otherwise. This is the default runner used by the comment-to-test generator.
Raises
argv : the command line arguments to parse parameters from (default Sys.argv)
val run_tap : OUnit.test -> OUnit.test_results
TAP-compatible test runner, in case we want to use a test harness. It prints one line per test.