package tezos-012-Psithaca-test-helpers

  1. Overview
  2. Docs
val test_error_encodings : Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error -> unit
val proto_error_with_info : loc:string -> ('a, Tezos_error_monad.TzCore.error list) result -> string -> (unit, Tezos_error_monad.TzCore.error list) result Lwt.t
val equal : loc:string -> ('a -> 'a -> bool) -> string -> (Format.formatter -> 'a -> unit) -> 'a -> 'a -> (unit, Tezos_error_monad.TzCore.error list) result Lwt.t
val leq : loc:string -> ('a -> 'a -> int) -> string -> (Format.formatter -> 'a -> unit) -> 'a -> 'a -> (unit, Tezos_error_monad.TzCore.error list) result Lwt.t
val not_equal : loc:string -> ('a -> 'a -> bool) -> string -> (Format.formatter -> 'a -> unit) -> 'a -> 'a -> (unit, Tezos_error_monad.TzCore.error list) result Lwt.t
module Int32 : sig ... end
module Int64 : sig ... end
val equal_int : loc:string -> int -> int -> (unit, Tezos_error_monad.TzCore.error list) result Lwt.t
val not_equal_int : loc:string -> int -> int -> (unit, Tezos_error_monad.TzCore.error list) result Lwt.t
val leq_int : loc:string -> int -> int -> (unit, Tezos_error_monad.TzCore.error list) result Lwt.t
val equal_int32 : loc:string -> int32 -> int32 -> (unit, Tezos_error_monad.TzCore.error list) result Lwt.t
val equal_int64 : loc:string -> int64 -> int64 -> (unit, Tezos_error_monad.TzCore.error list) result Lwt.t
val not_equal_int64 : loc:string -> int64 -> int64 -> (unit, Tezos_error_monad.TzCore.error list) result Lwt.t
val leq_int64 : loc:string -> int64 -> int64 -> (unit, Tezos_error_monad.TzCore.error list) result Lwt.t
val equal_bool : loc:string -> bool -> bool -> (unit, Tezos_error_monad.TzCore.error list) result Lwt.t
val not_equal_bool : loc:string -> bool -> bool -> (unit, Tezos_error_monad.TzCore.error list) result Lwt.t
val get_some : loc:string -> 'a option -> ('a, Tezos_error_monad.TzCore.error list) result Lwt.t
val is_none : loc:string -> pp:(Format.formatter -> 'a -> unit) -> 'a option -> (unit, Tezos_error_monad.TzCore.error list) result Lwt.t

balance_is b c amount checks that the current balance of contract c is amount. Default balance type is Main, pass ~kind with Deposit, Fees or Rewards for the others.

balance_was_operated ~operand b c old_balance amount checks that the current balance of contract c is operand old_balance amount and returns the current balance. Default balance type is Main, pass ~kind with Deposit, Fees or Rewards for the others.

val pp_print_list : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a list -> unit
val assert_equal_list : loc:string -> ('a -> 'a -> bool) -> string -> (Format.formatter -> 'a -> unit) -> 'a list -> 'a list -> (unit, Tezos_error_monad.TzCore.error list) result Lwt.t