Module QCheck_ounit

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.