to_ounit_test ~rand t wraps t into a OUnit test

• parameter verbose

  used to print information on stdout (default: verbose())

• parameter rand

  the random generator to use (default: random_state ())

Same as to_ounit_test but with a polymorphic test cell

Same as OUnit.>::: but with a list of QCheck tests

to_ounit2_test ?rand t wraps t into a OUnit2 test

• parameter rand

  the random generator to use (default: a static seed for reproducibility), can be overridden with "-seed" on the command-line

to_ounit2_test_list ?rand t like to_ounit2_test but for a list of tests

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.

• parameter argv

  the command line arguments to parse parameters from (default Sys.argv)

• raises Arg.Bad

  in case argv contains unknown arguments

• raises Arg.Help

  in case argv contains "--help"

This test runner displays execution in a compact way, making it good for suites that have lots of tests.

Output example:

random seed: 101121210
random seed: 101121210
\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\
Error: tests>error_raise_exn

test `error_raise_exn` raised exception `QCheck_ounit_test.Error`
on `0 (after 62 shrink steps)`
Raised at file "example/QCheck_ounit_test.ml", line 19, characters 20-25
Called from file "src/QCheck.ml", line 846, characters 13-33

///////////////////////////////////////////////////////////////////////////////
\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\
Failure: tests>fail_sort_id

fail_sort_id
///////////////////////////////////////////////////////////////////////////////
Ran: 4 tests in: 0.74 seconds.
WARNING! SOME TESTS ARE NEITHER SUCCESSES NOR FAILURES!

TAP-compatible test runner, in case we want to use a test harness. It prints one line per test.