package speed

  1. Overview
  2. Docs
module Domain = Speed_domain
module Dsl = Speed_dsl_list
module Assertions = Speed_assertions
type metadata = Speed_metadata.t
type suite_result = {
  1. success : bool;
  2. print_break : bool;
  3. no_of_failing_examples : int;
  4. no_of_passing_examples : int;
}
val (>>) : ('a -> 'b) -> ('b -> 'c) -> 'a -> 'c
type 'a continuation = (suite_result -> 'a) -> 'a
module ExampleRunner : sig ... end
module Reporter : sig ... end
module SyncRunner : sig ... end
module LwtRunner : sig ... end
include module type of struct include SyncRunner end
type (!'a, !'b) setup_stack = ('a, 'b) Make(Domain.Sync)(ExampleRunner.SyncRunner).setup_stack =
  1. | Root : (unit Domain.test_input -> 'a0) -> (unit, 'a0) setup_stack
  2. | Stack : ('a1, 'b0) setup_stack * ('b0 Domain.test_input -> 'c) -> ('a1, 'c) setup_stack
val filter_suite : 'a Domain.Sync.t -> 'a Domain.Sync.t
val filter_suite_mixed : 'a Domain.Sync.child_suite -> 'a Domain.Sync.child_suite
val start_group : string option -> Stdlib.Format.formatter -> suite_result -> (suite_result -> ('a -> 'b) -> 'c) -> ('a -> 'b) -> 'c
val start_example : string -> Stdlib.Format.formatter -> suite_result -> (suite_result -> (suite_result -> ExampleRunner.test_outcome -> 'a) -> 'b) -> (suite_result -> 'a) -> 'b
val run_setup : metadata list -> (unit, 'b) setup_stack -> 'b
val run_child_suite : Stdlib.Format.formatter -> suite_result -> 'a Domain.Sync.t -> metadata list -> (unit, 'a) setup_stack -> 'b ExampleRunner.SyncRunner.cont_result continuation
val run_suite_return : ?fmt:Stdlib.Format.formatter -> unit Domain.Sync.t -> suite_result ExampleRunner.SyncRunner.cont_result
val run_suite_wait : ?fmt:Stdlib.Format.formatter -> unit Domain.Sync.t -> suite_result
val is_success : suite_result -> bool
val get_no_of_failing_examples : suite_result -> int
val get_no_of_passing_examples : suite_result -> int
val consume_test_result : Stdlib.Format.formatter -> suite_result -> 'a
val has_focused : 'a Domain.Sync.t -> bool
val run_suite : ?fmt:Stdlib.Format.formatter -> unit Domain.Sync.t -> suite_result
val run_suites : fmt:Stdlib.Format.formatter -> unit Domain.Sync.t -> unit Domain.LwtDomain.t -> suite_result
val run_root_suites : unit -> 'a

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.

OCaml

Innovation. Community. Security.