tezos-013-PtJakart-test-helpers 14.0

Libraries

This package provides the following libraries (via dune):

tezos-013-PtJakart-test-helpers

Documentation:

• Tezos_013_PtJakart_test_helpers.Account
• Tezos_013_PtJakart_test_helpers.Assert
• Tezos_013_PtJakart_test_helpers.Block
• Tezos_013_PtJakart_test_helpers.Consensus_helpers
• Tezos_013_PtJakart_test_helpers.Context
• Tezos_013_PtJakart_test_helpers.Contract_helpers
• Tezos_013_PtJakart_test_helpers.Cpmm_logic
• Tezos_013_PtJakart_test_helpers.Cpmm_repr
• Tezos_013_PtJakart_test_helpers.Error_monad_operators
• Tezos_013_PtJakart_test_helpers.Expr
• Tezos_013_PtJakart_test_helpers.Expr_common
• Tezos_013_PtJakart_test_helpers.Incremental
• Tezos_013_PtJakart_test_helpers.Liquidity_baking_generator This module provides a set of abstractions to reason about the so-called “liquidity baking” feature1.
• Tezos_013_PtJakart_test_helpers.Liquidity_baking_machine This module provides the means to test extensively the Liquidity Baking (LB) feature. We recall that this feature is built upon three smart contracts: (1) a CPMM contract initially based on Dexter 2, and (2) two tokens contracts. Our objective is to run “scenarios” consisting in interleaved, realistic calls to these contracts, and to assert these scenarios do not yield any undesirable behaviors.
• Tezos_013_PtJakart_test_helpers.Lqt_fa12_repr
• Tezos_013_PtJakart_test_helpers.Merkle_list_helper
• Tezos_013_PtJakart_test_helpers.Nonce
• Tezos_013_PtJakart_test_helpers.Op
• Tezos_013_PtJakart_test_helpers.Rewards The tables are precomputed using this the following formulas:
• Tezos_013_PtJakart_test_helpers.Sapling_helpers
• Tezos_013_PtJakart_test_helpers.Sc_rollup_helpers
• Tezos_013_PtJakart_test_helpers.Script_big_map
• Tezos_013_PtJakart_test_helpers.Script_list
• Tezos_013_PtJakart_test_helpers.Script_map
• Tezos_013_PtJakart_test_helpers.Script_set
• Tezos_013_PtJakart_test_helpers.Test_global_constants
• Tezos_013_PtJakart_test_helpers.Test_tez
• Tezos_013_PtJakart_test_helpers.Testable
• Tezos_013_PtJakart_test_helpers.Transfers
• Tezos_013_PtJakart_test_helpers.Tx_rollup_l2_helpers

Dependencies: lwt.unix, alcotest-lwt, qcheck-alcotest, tezos-test-helpers, tezos-base, tezos-micheline, tezos-stdlib-unix, tezos-protocol-013-PtJakart, tezos-client-013-PtJakart, tezos-protocol-013-PtJakart.parameters, tezos-protocol-environment, tezos-protocol-plugin-013-PtJakart, tezos-shell-services