package speed

  1. Overview
  2. Docs

Module Speed_runner.MakeSource

Parameters

module D : Domain.DOMAIN

Signature

Sourcetype ('a, 'b) setup_stack =
  1. | Root : (unit Domain.test_input -> 'a) -> (unit, 'a) setup_stack
  2. | Stack : ('a, 'b) setup_stack * ('b Domain.test_input -> 'c) -> ('a, 'c) setup_stack
Sourceval filter_suite : 'a. 'a D.t -> 'a D.t
Sourceval filter_suite_mixed : 'a. 'a D.child_suite -> 'a D.child_suite
Sourceval start_group : string option -> Format.formatter -> suite_result -> (suite_result -> ('a -> 'b) -> 'c) -> ('a -> 'b) -> 'c
Sourceval start_example : string -> Format.formatter -> suite_result -> (suite_result -> (suite_result -> ExampleRunner.test_outcome -> 'a) -> 'b) -> (suite_result -> 'a) -> 'b
Sourceval run_setup : 'b. metadata list -> (unit, 'b) setup_stack -> 'b
Sourceval run_child_suite : 'a. Format.formatter -> suite_result -> 'a D.t -> metadata list -> (unit, 'a) setup_stack -> 'b Runner.cont_result continuation
Sourceval run_suite : ?fmt:Format.formatter -> ?filter:bool -> ?ctx:suite_result -> unit D.t -> (suite_result -> 'a Runner.cont_result) -> 'a Runner.cont_result
Sourceval wait : 'a Runner.cont_result -> 'a
Sourceval run_suite_return : ?fmt:Format.formatter -> unit D.t -> suite_result Runner.cont_result
Sourceval run_suite_wait : ?fmt:Format.formatter -> unit D.t -> suite_result
Sourceval is_success : suite_result -> bool
Sourceval get_no_of_failing_examples : suite_result -> int
Sourceval get_no_of_passing_examples : suite_result -> int
Sourceval consume_test_result : Format.formatter -> suite_result -> 'a
Sourceval has_focused : 'a D.t -> bool

This 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.