package tezos-011-PtHangz2-test-helpers

You can search for identifiers within the package.

in-package search v0.2.0

tezos-011-PtHangz2-test-helpers
- Tezos_011_PtHangz2_test_helpers
  - Account
  - Assert
    
    Int32
    
    Int64
  - Block
    
    Forge
  - Context
    
    Contract
    
    Delegate
    
    Vote
  - Contract_helpers
  - Cpmm_logic
    
    Simulate
    
    Simulate_raw
  - Cpmm_repr
    
    Parameter
    
    Storage
  - Error_monad_operators
  - Expr
  - Expr_common
  - Incremental
  - Liquidity_baking_generator
  - Liquidity_baking_machine
    
    ConcreteMachine
    
    SymbolicMachine
    
    ValidationMachine
    
    Concrete
    
    Symbolic
  - Lqt_fa12_repr
    
    Parameter
    
    Storage
  - Nonce
  - Op
  - Rewards
  - Sapling_helpers
    
    Alpha_context_helpers
    
    Common
    
    Interpreter_helpers
  - Script_big_map
  - Script_list
  - Script_map
  - Script_set
  - Test_global_constants
    
    Generators
  - Test_tez
    
    Tez
  - Testable

Legend:
Library
Module
Module type
Parameter
Class
Class type

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_error_monad.TzCore.error list) result Lwt.t

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

val get_tzbtc_balance : 
  Tezos_protocol_011_PtHangz2.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_011_PtHangz2.Protocol.Alpha_context.Contract.t env ->
  t ->
  (tzbtc, Tezos_error_monad.TzCore.error list) result Lwt.t

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.

val get_liquidity_balance : 
  Tezos_protocol_011_PtHangz2.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_011_PtHangz2.Protocol.Alpha_context.Contract.t env ->
  t ->
  (liquidity, Tezos_error_monad.TzCore.error list) result Lwt.t

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_error_monad.TzCore.error list) result 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.