kaputt

Testing tool
IN THIS PACKAGE
type result = Test.result =
| Passed
| Failed of Assertion.failure
| Uncaught of exn * string
| Report of int * int * int * string list * (string * int) list
| Exit_code of int
type !'a classifier = 'a Test.classifier
type t = Test.t
type output_mode = Test.output_mode =
| Text_output of Pervasives.out_channel
| Html_output of Pervasives.out_channel
| Xml_output of Pervasives.out_channel
| Xml_junit_output of Pervasives.out_channel
| Csv_output of Pervasives.out_channel * string
val return : 'a -> unit -> 'a
val make_assert_test : ?title:string -> ( unit -> 'a ) -> ( 'a -> 'b ) -> ( 'b -> unit ) -> Test.t
val make_simple_test : ?title:string -> ( unit -> unit ) -> Test.t
val add_assert_test : ?title:string -> ( unit -> 'a ) -> ( 'a -> 'b ) -> ( 'b -> unit ) -> unit
val add_simple_test : ?title:string -> ( unit -> unit ) -> unit
val default_classifier : 'a Test.classifier
val default_reducer : 'a Reducer.t
val make_random_test : ?title:string -> ?nb_runs:int -> ?nb_tries:int -> ?classifier:'a Test.classifier -> ?reducer:'a Reducer.t -> ?reduce_depth:int -> ?reduce_smaller:( 'a -> 'a -> bool ) -> ?random_src:Generator.random -> 'a Generator.t -> ( 'a -> 'b ) -> ( 'a, 'b ) Specification.t list -> Test.t
val add_random_test : ?title:string -> ?nb_runs:int -> ?nb_tries:int -> ?classifier:'a Test.classifier -> ?reducer:'a Reducer.t -> ?reduce_depth:int -> ?reduce_smaller:( 'a -> 'a -> bool ) -> ?random_src:Generator.random -> 'a Generator.t -> ( 'a -> 'b ) -> ( 'a, 'b ) Specification.t list -> unit
val make_partial_random_test : ?title:string -> ?nb_runs:int -> ?nb_tries:int -> ?classifier:'a Test.classifier -> ?reducer:'a Reducer.t -> ?reduce_depth:int -> ?reduce_smaller:( 'a -> 'a -> bool ) -> ?random_src:Generator.random -> 'a Generator.t -> ( 'a -> 'b ) -> ( 'a, 'b Specification.outcome ) Specification.t list -> Test.t
val add_partial_random_test : ?title:string -> ?nb_runs:int -> ?nb_tries:int -> ?classifier:'a Test.classifier -> ?reducer:'a Reducer.t -> ?reduce_depth:int -> ?reduce_smaller:( 'a -> 'a -> bool ) -> ?random_src:Generator.random -> 'a Generator.t -> ( 'a -> 'b ) -> ( 'a, 'b Specification.outcome ) Specification.t list -> unit
val make_enum_test : ?title:string -> 'a Enumerator.t -> ( 'a -> 'b ) -> ( 'a, 'b ) Specification.t list -> Test.t
val add_enum_test : ?title:string -> 'a Enumerator.t -> ( 'a -> 'b ) -> ( 'a, 'b ) Specification.t list -> unit
val make_partial_enum_test : ?title:string -> 'a Enumerator.t -> ( 'a -> 'b ) -> ( 'a, 'b Specification.outcome ) Specification.t list -> Test.t
val add_partial_enum_test : ?title:string -> 'a Enumerator.t -> ( 'a -> 'b ) -> ( 'a, 'b Specification.outcome ) Specification.t list -> unit
val make_shell_test : ?title:string -> ( [< `Input | `No_input ], [< `No_output | `Output ], [< `Error | `No_error ] ) Shell.command list -> Test.t
val add_shell_test : ?title:string -> ( [< `Input | `No_input ], [< `No_output | `Output ], [< `Error | `No_error ] ) Shell.command list -> unit
val exec_test : Test.t -> Test.result
val exec_tests : Test.t list -> Test.result list
val run_test : ?output:Test.output_mode -> Test.t -> unit
val run_tests : ?output:Test.output_mode -> Test.t list -> unit
val launch_tests : ?output:Test.output_mode -> ?clear:bool -> unit -> unit
val check : ?title:string -> ?nb_runs:int -> ?nb_tries:int -> ?classifier:'a Test.classifier -> ?random_src:Generator.random -> 'a Generator.t -> ( 'a -> 'b ) -> ( 'a, 'b ) Specification.t list -> unit
val check_partial : ?title:string -> ?nb_runs:int -> ?nb_tries:int -> ?classifier:'a Test.classifier -> ?random_src:Generator.random -> 'a Generator.t -> ( 'a -> 'b ) -> ( 'a, 'b Specification.outcome ) Specification.t list -> unit