Module `Tezos_alpha_test_helpers.Scenario_op`Source

This module gathers many protocol operations in the form of scenarios. This includes (but is not limited to) transfers and such (stake, unstake...), as well as various ways to forge double signings.

Source

val set_delegate_params : 
  string ->
  Adaptive_issuance_helpers.staking_parameters ->
  (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

Set delegate parameters for the given delegate

Source

val add_account : 
  string ->
  (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

Add a new account with the given name

Source

val reveal : 
  string ->
  (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

Reveal operation

Source

val transfer : 
  Tezos_base.TzPervasives.String.Map.key ->
  Tezos_base.TzPervasives.String.Map.key ->
  Tez_helpers.Ez_tez.tez_quantity ->
  (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

Transfer from src to dst

Source

val set_delegate : 
  Tezos_base.TzPervasives.String.Map.key ->
  Tezos_base.TzPervasives.String.t option ->
  (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

Set delegate for src. If delegate_name_opt = None, then unset current delegate

Source

val stake : 
  Tezos_base.TzPervasives.String.Map.key ->
  Tez_helpers.Ez_tez.tez_quantity ->
  (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

Stake operation

Source

val unstake : 
  Tezos_base.TzPervasives.String.Map.key ->
  Tez_helpers.Ez_tez.tez_quantity ->
  (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

unstake operation

Source

val finalize_unstake : 
  Tezos_base.TzPervasives.String.Map.key ->
  (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

finalize unstake operation

Source

val check_pending_slashings : 
  loc:string ->
  (Block.t * State.t) ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Source

val order_attestations : 
  correct_order:bool ->
  'a Tezos_raw_protocol_alpha__Alpha_context.operation ->
  'a Tezos_raw_protocol_alpha__Alpha_context.operation ->
  'a Tezos_raw_protocol_alpha__Alpha_context.operation
  * 'a Tezos_raw_protocol_alpha__Alpha_context.operation

Double attestation helpers

Source

val op_double_attestation : 
  ?correct_order:bool ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Kind.attestation
    Tezos_protocol_alpha.Protocol.Alpha_context.Operation.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Kind.attestation
    Tezos_protocol_alpha.Protocol.Alpha_context.Operation.t ->
  Context.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Operation.packed

Source

val op_double_preattestation : 
  ?correct_order:bool ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Kind.preattestation
    Tezos_protocol_alpha.Protocol.Alpha_context.Operation.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Kind.preattestation
    Tezos_protocol_alpha.Protocol.Alpha_context.Operation.t ->
  Context.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Operation.packed

Source

val order_block_hashes : 
  correct_order:bool ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Block_header.block_header ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Block_header.block_header ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Block_header.block_header
  * Tezos_protocol_alpha.Protocol.Alpha_context.Block_header.block_header

Source

val op_double_baking : 
  ?correct_order:bool ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Block_header.block_header ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Block_header.block_header ->
  Context.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Operation.packed

Source

val double_bake_op : 
  string list ->
  (Block.t * State.t) ->
  (Block.t * State.t, Tezos_base.TzPervasives.tztrace) result Lwt.t

double_bake_op delegate_names (block, state) performs a double baking with the given delegate names. The first delegate in the list bakes the new main branch. All delegates (including the first) will bake two other blocks at the same level/different round.

Source

val double_bake : 
  string ->
  (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

Source

val double_bake_many : 
  string list ->
  (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

Source

val double_attest_op : 
  ?other_bakers:(string * string) ->
  op:
    (delegate:Tezos_base.TzPervasives.Signature.Public_key_hash.t ->
      Block.t ->
      ('a Tezos_protocol_alpha.Protocol.Alpha_context.Kind.consensus
         Tezos_protocol_alpha.Protocol.Alpha_context.operation,
        Tezos_base.TzPervasives.tztrace)
        result
        Lwt.t) ->
  op_evidence:
    ('a Tezos_protocol_alpha.Protocol.Alpha_context.Kind.consensus
       Tezos_protocol_alpha.Protocol.Alpha_context.operation ->
      'a Tezos_protocol_alpha.Protocol.Alpha_context.Kind.consensus
        Tezos_protocol_alpha.Protocol.Alpha_context.operation ->
      Context.t ->
      Tezos_protocol_alpha.Protocol.Alpha_context.packed_operation) ->
  kind:Tezos_protocol_alpha.Protocol.Misbehaviour_repr.kind ->
  string list ->
  (Block.t * State.t) ->
  (Block.t * State.t, Tezos_base.TzPervasives.tztrace) result Lwt.t

double_attest_op ?other_bakers ~op ~op_evidence ~kind delegate_names (block, state) performs a double (pre)attestation with the given delegate names. Starting at block level `n`, it creates two 2-block branches and all delegates will (pre)attest the two blocks at level `n+2`. other_bakers can be used to force using specific bakers to avoid reusing forbidden ones

Source

val double_attest_ : 
  ?other_bakers:(string * string) ->
  string list ->
  (Block.t * State.t) ->
  (Block.t * State.t, Tezos_base.TzPervasives.tztrace) result Lwt.t

Source

val double_attest_many : 
  ?other_bakers:(string * string) ->
  string list ->
  (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

Source

val double_attest : 
  ?other_bakers:(string * string) ->
  string ->
  (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

Source

val double_preattest_ : 
  ?other_bakers:(string * string) ->
  string list ->
  (Block.t * State.t) ->
  (Block.t * State.t, Tezos_base.TzPervasives.tztrace) result Lwt.t

Source

val double_preattest_many : 
  ?other_bakers:(string * string) ->
  string list ->
  (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

Source

val double_preattest : 
  ?other_bakers:(string * string) ->
  string ->
  (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

Source

val cycle_from_level : 
  int32 ->
  int32 ->
  Tezos_alpha_test_helpers.State_account.Cycle.cycle

Source

val pct_from_kind : 
  Block.t ->
  Tezos_protocol_alpha.Protocol.Misbehaviour_repr.kind ->
  int

Source

val get_pending_slashed_pct_for_delegate : 
  (Block.t * State.t) ->
  Tezos_base.TzPervasives.Signature.Public_key_hash.t ->
  int

Source

val update_state_denunciation : 
  (Block.t * State.t) ->
  State.double_signing_state ->
  (State.t * bool, Tezos_base.TzPervasives.tztrace) result Lwt.t

Source

val make_denunciations_op : 
  ?single:bool ->
  ?rev:bool ->
  ?filter:(State.double_signing_state -> bool) ->
  (Block.t * State.t) ->
  (State.t * Tezos_protocol_alpha.Protocol.Alpha_context.packed_operation list,
    Tezos_base.TzPervasives.tztrace)
    result
    Lwt.t

make_denunciations_op ?single ?rev ?filter () denounces all double signers in the state. If single is set, only one denunciation is made. If rev is set, the denunciations are made in reverse order. If filter is set, only the double signers for which the filter returns true are denounced.

Source

val make_denunciations : 
  ?single:bool ->
  ?rev:bool ->
  ?filter:(State.double_signing_state -> bool) ->
  unit ->
  (Block.t * State.t, Scenario_base.t) Scenario_dsl.scenarios

Source

val add_account_with_funds : 
  Tezos_base.TzPervasives.String.Map.key ->
  funder:Tezos_base.TzPervasives.String.Map.key ->
  Tez_helpers.Ez_tez.tez_quantity ->
  (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

Create an account and give an initial balance funded by funder

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module `Tezos_alpha_test_helpers.Scenario_op`Source

package octez-protocol-alpha-libs

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module Tezos_alpha_test_helpers.Scenario_opSource

Module `Tezos_alpha_test_helpers.Scenario_op`Source