Mavryk_001_PtAtLas_test_helpers (mavkit-protocol-001-PtAtLas-libs.Mavryk_001_PtAtLas_test

module Account : sig ... end

module Adaptive_issuance_helpers : sig ... end

module Assert : sig ... end

module Big_map_helpers : sig ... end

module Block : sig ... end

module Consensus_helpers : sig ... end

module Context : sig ... end

module Contract_helpers : sig ... end

module Cpmm_logic : sig ... end

module Cpmm_repr : sig ... end

module Dal_helpers : sig ... end

module Dummy_zk_rollup : sig ... end

Dummy ZK Rollup for testing the ZKRU integration in the protocol. The library Plompiler is used to build the circuits (in a module V as verifier) and the corresponding functions to produce the inputs for the circuits (in a module P as prover).

module Expr : sig ... end

module Expr_common : sig ... end

module Incremental : sig ... end

module Liquidity_baking_generator : sig ... end

This module provides a set of abstractions to reason about the so-called “liquidity baking” feature1.

module Liquidity_baking_machine : sig ... end

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.

module Lqt_fa12_repr : sig ... end

module Lwt_result_wrap_syntax : sig ... end

Extends the Lwt_result_syntax with additional utilities for wrapping results produced by the protocol, i.e. Environment.Error_monad.tzresult, to tzresult Lwt.t values used in the tests.

module Merkle_list_helper : sig ... end

module Nonce : sig ... end

module Op : sig ... end

module Operation_generator : sig ... end

These generators aims at generating operations which are not necessary correct. The goal is to tests functions such as Operation.compare with as much as possible parameters that play a role in operation weight computation.

module Result_wrap_syntax : sig ... end

Extends the Result_syntax with additional utilities for wrapping results produced by the protocol, i.e. Environment.Error_monad.tzresult, to tzresult values used in the tests.

module Rewards : sig ... end

The tables are precomputed using this the following formulas:

module Sapling_helpers : sig ... end

module Sc_rollup_helpers : sig ... end

module Script_big_map : sig ... end

module Script_map : sig ... end

module Script_set : sig ... end

module Test_global_constants : sig ... end

module Test_tez : sig ... end

module Testable : sig ... end

module Ticket_helpers : sig ... end

module Transfers : sig ... end

module Zk_rollup_l2_helpers : sig ... end