package tezos-012-Psithaca-test-helpers

  1. Overview
  2. Docs
include module type of struct include Common end
val assert_true : (bool, 'a) result Lwt.t -> (unit, 'a) result Lwt.t
val assert_false : (bool, 'a) result Lwt.t -> (unit, 'a) result Lwt.t
val assert_some : ('a option, 'b) result Lwt.t -> ('a, 'b) result Lwt.t
val assert_none : ('a option, 'b) result Lwt.t -> (unit, 'b) result Lwt.t
val assert_error : ('a, 'b) result Lwt.t -> (unit, 'c) result Lwt.t
val print : ?prefix:string -> 'a Data_encoding.Encoding.t -> 'a -> unit
val to_hex : 'a -> 'a Data_encoding.Encoding.t -> string
val randomized_byte : ?pos:int -> 'a -> 'a Data_encoding.Encoding.t -> 'a
val wallet_gen : unit -> wallet
include module type of struct include Contract_helpers end

Helper function that parses and types a script, its initial storage and parameters from strings. It then executes the typed script with the storage and parameter and returns the result.

Returns a block in which the contract is originated. Also returns the associated anti-replay string and KT1 address.

val hex_shield : memo_size:int -> wallet -> string -> string
val shield : memo_size:int -> Tezos_sapling.Forge.Core.Spending_key.t -> int -> Tezos_sapling.Core.Wallet.Viewing_key.t -> (string -> 'a) -> string -> 'a list * int