package tezos-011-PtHangz2-test-helpers

  1. Overview
  2. Docs

A collections of functions to introspect the symbolic part of the ValidationMachine state.

val get_xtz_balance : Tezos_protocol_011_PtHangz2.Protocol.Alpha_context.Contract.t -> t -> xtz Tezos_base__TzPervasives.tzresult Lwt.t

get_xtz_balance c state returns the amount of mutez owned by c in the symbolic part of state.

get_tzbtc_balance c env state returns the amount of TzBTC owned by c in the symbolic part of state, according to the TzBTC contract.

get_liquidity_balance c env state returns the amount of liquidity token owned by c in the symbolic part of state, according to the Liquidity contract.

val get_cpmm_total_liquidity : Tezos_protocol_011_PtHangz2.Protocol.Alpha_context.Contract.t env -> t -> liquidity Tezos_base__TzPervasives.tzresult Lwt.t

get_cpmm_total_liquidity env state fetches the   current amount of liquidity tokens distributed by the CPMM   contract using the symbolic part of the state state.