module D : Domain.DOMAINmodule Runner : ExampleRunner.EXAMPLE_RUNNER with type test_function = unit D.test_functiontype ('a, 'b) setup_stack = | Root : (unit Domain.test_input -> 'a) -> (unit, 'a) setup_stack| Stack : ('a, 'b) setup_stack
* ('b Domain.test_input ->
'c) -> ('a, 'c) setup_stackval filter_suite_mixed : 'a. 'a D.child_suite -> 'a D.child_suiteval start_group :
string option ->
Format.formatter ->
suite_result ->
(suite_result -> ('a -> 'b) -> 'c) ->
('a -> 'b) ->
'cval start_example :
string ->
Format.formatter ->
suite_result ->
(suite_result -> (suite_result -> ExampleRunner.test_outcome -> 'a) -> 'b) ->
(suite_result -> 'a) ->
'bval run_setup : 'b. metadata list -> (unit, 'b) setup_stack -> 'bval run_ex :
Format.formatter ->
suite_result ->
'a D.example ->
Speed_domain.Metadata.t list ->
(unit, 'a) setup_stack ->
(suite_result -> 'b Runner.cont_result) ->
'b Runner.cont_resultval run_child_suite :
'a. Format.formatter ->
suite_result ->
'a D.t ->
metadata list ->
(unit, 'a) setup_stack ->
'b Runner.cont_result continuationval run_suite :
?fmt:Format.formatter ->
?filter:bool ->
?ctx:suite_result ->
unit D.t ->
(suite_result -> 'a Runner.cont_result) ->
'a Runner.cont_resultval wait : 'a Runner.cont_result -> 'aval run_suite_return :
?fmt:Format.formatter ->
unit D.t ->
suite_result Runner.cont_resultval run_suite_wait : ?fmt:Format.formatter -> unit D.t -> suite_resultval is_success : suite_result -> boolval get_no_of_failing_examples : suite_result -> intval get_no_of_passing_examples : suite_result -> intval consume_test_result : Format.formatter -> suite_result -> 'aval has_focused : 'a D.t -> boolThis runs the test suite and exits the program. If the test suite is successful, it will exit with exit code zero, otherwise it will exit with exit code 1.