module QCheck_base_runner:sig
..end
Once you built some tests using QCheck.Test.make
, you need to
run the tests. This module contains several runners,
which are designed to run every test and report the result.
By default, you can use QCheck_base_runner.run_tests
in a test program as follows:
let testsuite = [
Test.make ...;
Test.make ...;
]
let () =
let errcode = QCheck_runners.run_tests ~verbose:true testsuite in
exit errcode
which will run the tests, and exit the program. The error code
will be 0 if all tests pass, 1 otherwise.
QCheck_base_runner.run_tests_main
can be used as a shortcut for that, also
featuring command-line parsing (using Arg
) to activate
verbose mode and others.
val random_state : unit -> Random.State.t
val verbose : unit -> bool
val long_tests : unit -> bool
val set_seed : int -> unit
QCheck_base_runner.random_state
by creating a new one, initialized with
the given seed.val set_verbose : bool -> unit
verbose ()
val set_long_tests : bool -> unit
long_tests ()
val get_time_between_msg : unit -> float
val set_time_between_msg : float -> unit
val run_tests : ?colors:bool ->
?verbose:bool ->
?long:bool ->
?out:Pervasives.out_channel ->
?rand:Random.State.t -> QCheck.Test.t list -> int
0
if all tests passed, 1
otherwise.colors
: if true, colorful outputverbose
: if true, prints more information about test casesval run_tests_main : ?argv:string array -> QCheck.Test.t list -> 'a
QCheck_base_runner.run_tests
for actually running tests
after CLI options have been parsed.
The available options are:
run_tests
and run_tests_main
function: random seed: 438308050 generated error; fail; pass / total - time -- test name [✓] (1000) 0 ; 0 ; 1000 / 1000 -- 0.5s -- list_rev_is_involutive [✗] ( 1) 0 ; 1 ; 0 / 10 -- 0.0s -- should_fail_sort_id [✗] ( 1) 1 ; 0 ; 0 / 10 -- 0.0s -- should_error_raise_exn [✓] (1000) 0 ; 0 ; 1000 / 1000 -- 0.0s -- collect_results --- Failure -------------------------------------------------------------------- Test should_fail_sort_id failed (11 shrink steps): [1; 0] === Error ====================================================================== Test should_error_raise_exn errored on (62 shrink steps): 0 exception QCheck_runner_test.Error Raised at file "example/QCheck_runner_test.ml", line 20, characters 20-25 Called from file "src/QCheck.ml", line 839, characters 13-33 +++ Collect ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Collect results for test collect_results: 4: 207 cases 3: 190 cases 2: 219 cases 1: 196 cases 0: 188 cases ================================================================================ failure (1 tests failed, 1 tests errored, ran 4 tests)
module Color:sig
..end
module Raw:sig
..end