Module Mavryk_001_PtAtLas_test_helpers.Context

type t =
  1. | B of Block.t
  2. | I of Incremental.t

Given a context, returns the list of attesters charactized by the level, the public key hash of the delegate, its consensus_key and its assigned slots. see Plugin.RPC.Validator.t.

Return the two first elements of the list returns by get_attesters.

Return the first element delegate,slot of the list returns by get_attesters, where delegate is the consensus key when is set.

Given a delegate, and a context ctxt, if delegate is in get_attesters ctxt returns the slots of delegate otherwise return None.

Return the nth element of the list returns by get_attesters.

Counts the number of attesting slots that the given delegate has in the requested level. If ommited, level defaults to the next level.

Sums the result of get_attesting_power_for_delegate over a list of levels.

Returns the seed of the cycle to which the block belongs to.

Returns all the constants of the protocol

The default constants used in the test framework. To be used with init_with_constants.

module Vote : sig ... end
module Contract : sig ... end
module Delegate : sig ... end
module Sc_rollup : sig ... end
type (_, _) tup =
  1. | T1 : ('a, 'a) tup
  2. | T2 : ('a, 'a * 'a) tup
  3. | T3 : ('a, 'a * 'a * 'a) tup
  4. | TList : int -> ('a, 'a list) tup
val tup_hd : ('a, 'elts) tup -> 'elts -> 'a
type 'accounts init := ?rng_state:Stdlib.Random.State.t -> ?commitments: Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Commitment.t list -> ?bootstrap_balances:int64 list -> ?bootstrap_delegations: Mavryk_protocol_001_PtAtLas.Environment.Signature.Public_key_hash.t option list -> ?bootstrap_consensus_keys: Mavryk_protocol_001_PtAtLas.Environment.Signature.Public_key.t option list -> ?consensus_threshold:int -> ?min_proposal_quorum:int32 -> ?bootstrap_contracts: Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Parameters.bootstrap_contract list -> ?level:int32 -> ?cost_per_byte:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t -> ?issuance_weights: Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Constants.Parametric.issuance_weights -> ?origination_size:int -> ?blocks_per_cycle:int32 -> ?cycles_per_voting_period:int32 -> ?sc_rollup_arith_pvm_enable:bool -> ?sc_rollup_private_enable:bool -> ?sc_rollup_riscv_pvm_enable:bool -> ?dal_enable:bool -> ?zk_rollup_enable:bool -> ?hard_gas_limit_per_block: Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral -> ?nonce_revelation_threshold:int32 -> ?dal: Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Constants.Parametric.dal -> ?adaptive_issuance: Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Constants.Parametric.adaptive_issuance -> unit -> (Block.t * 'accounts) Mavryk_base.TzPervasives.tzresult Mavryk_protocol_001_PtAtLas.Environment.Lwt.t

Returns an initial block and the implicit contracts corresponding to its bootstrap accounts. The number of bootstrap accounts, and the structure of the returned contracts, are specified by the tup argument.

init_n n : returns an initial block with n initialized accounts and the associated implicit contracts

init1 : returns an initial block with 1 initialized bootstrap account and the associated implicit contract

init2 : returns an initial block with 2 initialized bootstrap accounts and the associated implicit contracts

init3 : returns an initial block with 3 initialized bootstrap accounts and the associated implicit contracts

init_with_parameters_gen tup params returns an initial block parametrised with params and the implicit contracts corresponding to its bootstrap accounts. The number of bootstrap accounts, and the structure of the returned contracts, are specified by the tup argument.

init_with_parameters_n params n returns an initial block parametrized with params with n initialized accounts and the associated implicit contracts

init_with_parameters1 params returns an initial block parametrized with params with one initialized account and the associated implicit contract.

init_with_parameters2 params returns an initial block parametrized with params with two initialized accounts and the associated implicit contracts

default_raw_context returns a Raw_context.t for use in tests below Alpha_context