1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
|
(** [am_running] is [true] if the code is running inline tests
(e.g. [let%expect_test], [let%test], [let%test_unit]) or is in an executable
invoked from inline tests. *)
val am_running : bool
val am_running_env_var : string
(** [`Am_test_runner] means the [./inline_tests_runner] process, whereas
[`Am_child_of_test_runner] means a process descended from the test runner. *)
val testing
: [ `Not_testing | `Testing of [ `Am_test_runner | `Am_child_of_test_runner ] ]
(** The tests to run are configured by command line arguments, normally pulled from
[Sys.argv]. Calling [init] will re-configure the test runner using the passed-in
argument list. This is useful to run tests in a dynamically loaded library; this
should be called with the appropriate configuration before loading the library.
[init] will normally return None. It will return an error if there's a formatting
error in the arguments, and will return Some string if help was requested. It will
also return an error if the test runner has already initialized, either by reading
command-line arguments or by a previous call to [init].
*)
val init : string list -> (string option, string) result
(**/**)
(** Everything below is for ppx or internal use *)
module Test_result : sig
type t =
| Success
| Failure
| Error
val combine : t -> t -> t
val combine_all : t list -> t
val to_string : t -> string
end
type config = (module Inline_test_config.S)
type 'a test_function_args =
config:config
-> descr:string Lazy.t
-> tags:string list
-> filename:string
-> line_number:int
-> start_pos:int
-> end_pos:int
-> 'a
val set_lib_and_partition : string -> string -> unit
val unset_lib : string -> unit
val test : ((unit -> bool) -> unit) test_function_args
val test_unit : ((unit -> unit) -> unit) test_function_args
val test_module : ((unit -> unit) -> unit) test_function_args
val use_color : unit -> bool
val in_place : unit -> bool
val diff_command : unit -> string option
val diff_path_prefix : unit -> string option
val source_tree_root : unit -> string option
(** Record an evaluator for an external set of tests *)
val add_evaluator : f:(unit -> Test_result.t) -> unit
(** Exit with a status based on the combined result of all recorded evaluators *)
val exit : unit -> _
|
