kaputt

Testing tool
IN THIS PACKAGE
Module Kaputt . Test
type 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 -> string
type t
type 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 ) -> t
val make_simple_test : ?title:string -> ( unit -> unit ) -> 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 classifier
val default_reducer : 'a Reducer.t
val make_random_test : ?title:string -> ?nb_runs:int -> ?nb_tries:int -> ?classifier:'a 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 -> t
val add_random_test : ?title:string -> ?nb_runs:int -> ?nb_tries:int -> ?classifier:'a 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 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 -> t
val add_partial_random_test : ?title:string -> ?nb_runs:int -> ?nb_tries:int -> ?classifier:'a 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 -> 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 -> 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 -> t
val add_shell_test : ?title:string -> ( [< `Input | `No_input ], [< `No_output | `Output ], [< `Error | `No_error ] ) Shell.command list -> unit
val exec_test : t -> result
val exec_tests : t list -> result list
val run_test : ?output:output_mode -> t -> unit
val run_tests : ?output:output_mode -> t list -> unit
val launch_tests : ?output:output_mode -> ?clear:bool -> unit -> unit
val check : ?title:string -> ?nb_runs:int -> ?nb_tries:int -> ?classifier:'a 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 classifier -> ?random_src:Generator.random -> 'a Generator.t -> ( 'a -> 'b ) -> ( 'a, 'b Specification.outcome ) Specification.t list -> unit