module QCheck_runner:sig..end
val random_state : unit -> Random.State.tval verbose : unit -> boolval set_seed : int -> unitQCheck_runner.random_state by creating a new one, initialized with
the given seed.val set_verbose : bool -> unitverbose ()val to_ounit_test : ?verbose:bool -> ?rand:Random.State.t -> QCheck.Test.t -> OUnit.testto_ounit_test ~rand t wraps t into a OUnit testverbose : used to print information on stdout (default: verbose())rand : the random generator to use (default: random_state ())val to_ounit_test_cell : ?verbose:bool -> ?rand:Random.State.t -> 'a QCheck.Test.cell -> OUnit.testQCheck_runner.to_ounit_test but with a polymorphic test cellval (>:::) : string -> QCheck.Test.t list -> OUnit.testOUnit.>::: but with a list of QCheck testsval to_ounit2_test : ?rand:Random.State.t -> QCheck.Test.t -> OUnit2.testto_ounit2_test ?rand t wraps t into a OUnit2 testrand : the random generator to use (default: a static seed for reproducibility),
can be overridden with "-seed" on the command-lineval to_ounit2_test_list : ?rand:Random.State.t -> QCheck.Test.t list -> OUnit2.test listto_ounit2_test_list ?rand t like to_ounit2_test but for a list of testsval run : ?argv:string array -> OUnit.test -> intrun 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.Arg.Bad in case argv contains unknown argumentsArg.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.
argv : the command line arguments to parse parameters from (default Sys.argv)val run_tap : OUnit.test -> OUnit.test_resultsval run_tests : ?verbose:bool ->
?out:Pervasives.out_channel ->
?rand:Random.State.t -> QCheck.Test.t list -> int0 if all tests passed, 1 otherwise.verbose : if true, prints more information about test casesval run_tests_main : ?argv:string array -> QCheck.Test.t list -> 'aQCheck_runner.run_tests for actually running tests
after CLI options have been parsed.
The available options are: