Module `Speed_runner.Make`Source

Parameters

module D : Domain.DOMAIN

module Runner : ExampleRunner.EXAMPLE_RUNNER with type test_function = unit D.test_function

Signature

Sourcetype ('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_stack

Sourceval filter_suite : 'a. 'a D.t -> 'a D.t

Sourceval filter_suite_mixed : 'a. 'a D.child_suite -> 'a D.child_suite

Source

val start_group : 
  string option ->
  Format.formatter ->
  suite_result ->
  (suite_result -> ('a -> 'b) -> 'c) ->
  ('a -> 'b) ->
  'c

Source

val 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

Source

val 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_result

Source

val run_child_suite : 
  'a. Format.formatter ->
  suite_result ->
  'a D.t ->
  metadata list ->
  (unit, 'a) setup_stack ->
  'b Runner.cont_result continuation

Source

val 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

Source

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

package speed

Module Speed_runner.MakeSource

Parameters

Signature

Module `Speed_runner.Make`Source