Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module PARSER = Autofonce_core.Parser
module MISC = Autofonce_misc.Misc
module CONFIG = Autofonce_config.Project_config
val test_status : Types.tester -> ('a, unit, string, string) format4 -> 'a
val buffer_test : Types.state -> string -> unit
val output : Types.state -> ('a, unit, string, unit) format4 -> 'a
val test_dir : Types.test -> string
val tester_dir : Types.tester -> string
val test_is_ok : Types.tester -> unit
val test_is_skipped_fail : Types.checker -> string -> unit
val test_is_failed :
Types.location ->
Types.tester ->
?check:Types.check ->
string ->
unit
val test_is_skip : Types.tester -> unit
val exec_action_no_check : Types.tester -> Types.action -> unit
val check_of_AT_XFAIL_IF :
Types.tester ->
Types.step ->
Types.location ->
string ->
Types.check
val check_of_AT_SKIP_IF :
Types.tester ->
Types.step ->
Types.location ->
string ->
Types.check
val check_of_AT_FAIL_IF :
Types.tester ->
Types.step ->
Types.location ->
string ->
Types.check
val check_of_at_file :
Types.tester ->
copy:bool ->
Types.step ->
Types.location ->
string ->
Types.check
val print_ntests : int -> Types.tester list -> unit
val print_status : Types.state -> unit
val start_test : Types.state -> Types.test -> Types.tester
val check_dir : Types.check -> string
val check_prefix : Types.check -> string
val start_check : Types.tester -> Types.check -> Types.checker
val subst_env : EzCompat.StringMap.key -> (string * string) option
val read_subst_output : Types.tester -> string -> string
val check_failures : Types.checker -> int -> string list
val create_state :
Types.project_config ->
Types.testsuite_config ->
Types.suite ->
Types.state