kaputt

Testing tool
IN THIS PACKAGE
Module Kaputt . Assertion
type failure = {
expected_value : string;
actual_value : string;
message : string;
}
exception Failed of failure
val fail : string -> string -> string -> 'a
val fail_msg : string -> 'a
val default_printer : 'a -> string
val equal : ?eq:( 'a -> 'a -> bool ) -> ?prn:( 'a -> string ) -> ?msg:string -> 'a -> 'a -> unit
val not_equal : ?eq:( 'a -> 'a -> bool ) -> ?prn:( 'a -> string ) -> ?msg:string -> 'a -> 'a -> unit
val same : ?prn:( 'a -> string ) -> ?msg:string -> 'a -> 'a -> unit
val not_same : ?prn:( 'a -> string ) -> ?msg:string -> 'a -> 'a -> unit
val make_equal : ( 'a -> 'a -> bool ) -> ( 'a -> string ) -> ?msg:string -> 'a -> 'a -> unit
val make_not_equal : ( 'a -> 'a -> bool ) -> ( 'a -> string ) -> ?msg:string -> 'a -> 'a -> unit
val make_equal_array : ( 'a -> 'a -> bool ) -> ( 'a -> string ) -> ?msg:string -> 'a array -> 'a array -> unit
val make_not_equal_array : ( 'a -> 'a -> bool ) -> ( 'a -> string ) -> ?msg:string -> 'a array -> 'a array -> unit
val make_equal_list : ( 'a -> 'a -> bool ) -> ( 'a -> string ) -> ?msg:string -> 'a list -> 'a list -> unit
val make_not_equal_list : ( 'a -> 'a -> bool ) -> ( 'a -> string ) -> ?msg:string -> 'a list -> 'a list -> unit
val make_equal_hashtbl : ( 'b -> 'b -> bool ) -> ( 'a -> string ) -> ( 'b -> string ) -> ?msg:string -> ( 'a, 'b ) Hashtbl.t -> ( 'a, 'b ) Hashtbl.t -> unit
val make_not_equal_hashtbl : ( 'b -> 'b -> bool ) -> ( 'a -> string ) -> ( 'b -> string ) -> ?msg:string -> ( 'a, 'b ) Hashtbl.t -> ( 'a, 'b ) Hashtbl.t -> unit
module type Printer = sig ... end
module Map (M : Map.S) (P : sig ... end) : sig ... end
module Set (S : Set.S) (P : sig ... end) : sig ... end
val make_equal_queue : ( 'a -> 'a -> bool ) -> ( 'a -> string ) -> ?msg:string -> 'a Queue.t -> 'a Queue.t -> unit
val make_not_equal_queue : ( 'a -> 'a -> bool ) -> ( 'a -> string ) -> ?msg:string -> 'a Queue.t -> 'a Queue.t -> unit
val make_equal_stack : ( 'a -> 'a -> bool ) -> ( 'a -> string ) -> ?msg:string -> 'a Stack.t -> 'a Stack.t -> unit
val make_not_equal_stack : ( 'a -> 'a -> bool ) -> ( 'a -> string ) -> ?msg:string -> 'a Stack.t -> 'a Stack.t -> unit
val make_equal_weak : ( 'a -> 'a -> bool ) -> ( 'a -> string ) -> ?msg:string -> 'a Weak.t -> 'a Weak.t -> unit
val make_not_equal_weak : ( 'a -> 'a -> bool ) -> ( 'a -> string ) -> ?msg:string -> 'a Weak.t -> 'a Weak.t -> unit
val equal_bool : ?msg:string -> bool -> bool -> unit
val not_equal_bool : ?msg:string -> bool -> bool -> unit
val equal_int : ?msg:string -> int -> int -> unit
val not_equal_int : ?msg:string -> int -> int -> unit
val equal_int32 : ?msg:string -> int32 -> int32 -> unit
val not_equal_int32 : ?msg:string -> int32 -> int32 -> unit
val equal_int64 : ?msg:string -> int64 -> int64 -> unit
val not_equal_int64 : ?msg:string -> int64 -> int64 -> unit
val equal_nativeint : ?msg:string -> nativeint -> nativeint -> unit
val not_equal_nativeint : ?msg:string -> nativeint -> nativeint -> unit
val equal_char : ?msg:string -> char -> char -> unit
val not_equal_char : ?msg:string -> char -> char -> unit
val equal_string : ?msg:string -> string -> string -> unit
val not_equal_string : ?msg:string -> string -> string -> unit
val equal_float : ?eps:float -> ?msg:string -> float -> float -> unit
val not_equal_float : ?eps:float -> ?msg:string -> float -> float -> unit
val equal_complex : ?eps:float -> ?msg:string -> Complex.t -> Complex.t -> unit
val not_equal_complex : ?eps:float -> ?msg:string -> Complex.t -> Complex.t -> unit
val is_true : ?msg:string -> bool -> unit
val is_false : ?msg:string -> bool -> unit
val is_some : ?msg:string -> 'a option -> unit
val is_none : ?msg:string -> 'a option -> unit
val raises : ?msg:string -> ( unit -> 'a ) -> unit
val no_raise : ?msg:string -> ( unit -> 'a ) -> unit
val make_raises : ( exn -> bool ) -> ( exn -> string ) -> ?msg:string -> ( unit -> 'a ) -> unit