package tezos-alpha-test-helpers

  1. Overview
  2. Docs

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

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.

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.

OCaml

Innovation. Community. Security.