Module `Tezos_alpha_test_helpers.State`Source

Sourcetype double_signing_state = {

culprit : Tezos_base.TzPervasives.Signature.Public_key_hash.t;
evidence : Context.t -> Tezos_protocol_alpha.Protocol.Alpha_context.packed_operation;
denounced : bool;
misbehaviour : Tezos_protocol_alpha.Protocol.Misbehaviour_repr.t;

}

Sourcetype t = {

account_map : State_account.account_map;
total_supply : Tezos_alpha_test_helpers.State_account.Tez.t;
constants : Tezos_protocol_alpha.Protocol.Alpha_context.Constants.Parametric.t;
param_requests : (string * Adaptive_issuance_helpers.staking_parameters * int) list;
force_ai_vote_yes : bool;
baking_policy : Block.baker_policy option;
last_level_rewards : Tezos_protocol_alpha.Protocol.Alpha_context.Raw_level.t;
snapshot_balances : (string * State_account.balance) list Tezos_base.TzPervasives.String.Map.t;
saved_rate : Q.t option;
burn_rewards : bool;
pending_operations : Tezos_protocol_alpha.Protocol.Alpha_context.packed_operation list;
pending_slashes : (Tezos_base.TzPervasives.Signature.Public_key_hash.t * Tezos_protocol_alpha.Protocol.Denunciations_repr.item) list;
double_signings : double_signing_state list;
ai_activation_cycle : Tezos_protocol_alpha.Protocol.Alpha_context.Cycle.t option;
force_attest_all : bool;

}

Type of the state

Sourceval param_wait : t -> int

Expected number of cycles before staking parameters get applied

Sourceval unstake_wait : t -> int

Expected number of cycles before staking unstaked funds get unfrozen

Sourceval find_account : string -> t -> State_account.account_state

From a name, returns the corresponding account

Source

val find_account_from_pkh : 
  Tezos_base.TzPervasives.Signature.public_key_hash ->
  t ->
  string * State_account.account_state

Source

val liquid_delegated : 
  name:Tezos_base.TzPervasives.String.t ->
  t ->
  (Tezos_alpha_test_helpers.State_account.Tez.t,
    Tezos_base.TzPervasives.tztrace)
    result

Sourceval is_self_delegate : string -> t -> bool

Returns true iff account is a delegate

Source

val update_map : 
  ?log_updates:Tezos_base.TzPervasives.String.t list ->
  f:(State_account.account_map -> State_account.account_map) ->
  t ->
  t

Source

val update_map_es : 
  ?log_updates:Tezos_base.TzPervasives.String.t list ->
  f:
    (State_account.account_map ->
      State_account.account_map Tezos_base.TzPervasives.tzresult Lwt.t) ->
  t ->
  t Tezos_base.TzPervasives.tzresult Lwt.t

Source

val apply_burn : 
  Tezos_alpha_test_helpers.State_account.Tez.t ->
  Tezos_base.TzPervasives.String.Map.key ->
  t ->
  t

Source

val apply_transfer : 
  Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t ->
  Tezos_base.TzPervasives.String.Map.key ->
  Tezos_base.TzPervasives.String.Map.key ->
  t ->
  t

Source

val apply_stake : 
  Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t ->
  Tezos_alpha_test_helpers.State_account.Cycle.cycle ->
  Tezos_base.TzPervasives.String.Map.key ->
  t ->
  t

Source

val apply_unstake : 
  Tezos_alpha_test_helpers__Tez_staking_helpers.Cycle.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t ->
  Tezos_base.TzPervasives.String.Map.key ->
  t ->
  t

Sourceval apply_finalize : Tezos_base.TzPervasives.String.Map.key -> t -> t

Source

val apply_unslashable : 
  Tezos_alpha_test_helpers.State_account.Cycle.cycle ->
  Tezos_base.TzPervasives.String.Map.key ->
  t ->
  t

Source

val apply_unslashable_for_all : 
  Tezos_alpha_test_helpers.State_account.Cycle.cycle ->
  t ->
  t

Source

val apply_rewards : 
  baker:string ->
  Block.t ->
  t ->
  t Tezos_base.TzPervasives.tzresult Lwt.t

Sourceval update_account : string -> State_account.account_state -> t -> t

Given an account name and new account state, updates state accordingly Preferably use other specific update functions

Sourceval update_delegate : string -> string option -> t -> t

Source

val add_pending_operations : 
  Tezos_protocol_alpha.Protocol.Alpha_context.packed_operation list ->
  t ->
  t

Source

val pop_pending_operations : 
  t ->
  t * Tezos_protocol_alpha.Protocol.Alpha_context.packed_operation list

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-protocol-alpha-libs.test-helpers/Tezos_alpha_test_helpers/State/index.html

Module `Tezos_alpha_test_helpers.State`Source

package octez-protocol-alpha-libs

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-protocol-alpha-libs.test-helpers/Tezos_alpha_test_helpers/State/index.html

Module Tezos_alpha_test_helpers.StateSource

Module `Tezos_alpha_test_helpers.State`Source