Scenario_bake (p.octez-protocol-alpha-libs.20.1.doc.octez-protocol-alpha-libs.test-helpers.Tezos_alpha_test_helpers.Scenario

Source

val apply_end_cycle : 
  Tezos_alpha_test_helpers.State_account.Cycle.t ->
  Block.t ->
  Block.t ->
  State.t ->
  State.t Tezos_base.TzPervasives.tzresult Lwt.t

Applies when baking the last block of a cycle

Source

val apply_new_cycle : 
  Tezos_alpha_test_helpers.State_account.Cycle.cycle ->
  State.t ->
  State.t

Applies when baking the first block of a cycle. Technically nothing special happens, but we need to update the unslashable unstakes since it's done lazily

Source

val check_all_balances : 
  Block.t ->
  State.t ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

After baking and applying rewards in state

Sourceval check_issuance_rpc : Block.t -> unit Tezos_base.TzPervasives.tzresult Lwt.t

Source

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

Sourceval attest_all : (Block.t * State.t, Block.t * State.t) Scenario_dsl.scenarios

Source

val bake : 
  ?baker:string ->
  Scenario_base.t ->
  Scenario_base.t Tezos_base.TzPervasives.tzresult Lwt.t

Bake a block, with the given baker and the given operations.

Source

val bake_until_next_cycle : 
  Scenario_base.t ->
  Scenario_base.t Tezos_base.TzPervasives.tzresult Lwt.t

Bake until a cycle is reached, using bake instead of Block.bake

Source

val bake_until_dawn_of_next_cycle : 
  Scenario_base.t ->
  Scenario_base.t Tezos_base.TzPervasives.tzresult Lwt.t

Bake all the remaining blocks of the current cycle

Sourceval next_block : (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

Bake a single block

Source

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

Bake a single block with a specific baker

Source

val next_cycle_ : 
  Scenario_base.t ->
  Scenario_base.t Tezos_base.TzPervasives.tzresult Lwt.t

Bake until the end of a cycle

Sourceval next_cycle : (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

Bake until the end of a cycle

Source

val exec_op : 
  ((Block.t * 'a) ->
    (State.t
     * Tezos_protocol_alpha.Protocol.Alpha_context.packed_operation list,
      Tezos_base.TzPervasives.tztrace)
      result
      Lwt.t) ->
  (Block.t * 'a, Scenario_base.t) Scenario_dsl.scenarios

Executes an operation: f should return a new state and a list of operations, which are then applied

Source

val wait_n_cycles : 
  int ->
  (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

Waiting functions

Source

val wait_n_blocks : 
  int ->
  (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

Source

val wait_cycle_f_es : 
  (Scenario_base.t ->
    Scenario_base.t ->
    bool Tezos_base.TzPervasives.tzresult Lwt.t) ->
  (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

Source

val wait_cycle_f : 
  (Scenario_base.t -> Scenario_base.t -> bool) ->
  (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

Waits until condition init_t current_t is fulfilled. It is checked on the first block of every cycle. If it returns false, another cycle is baked, until it succeeds.

Source

val wait_cycle_until : 
  ([< `AI_activation
   | `AI_activation_with_votes
   | `And of 'a * 'a
   | `delegate_parameters_activation
   | `right_before_delegate_parameters_activation ] as 'a) ->
  (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

Wait until we are in a cycle satisfying the given condition. Fails if AI_activation is requested and AI is not set to be activated in the future.

Source

val wait_ai_activation : 
  (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

Wait until AI activates. Fails if AI is not set to be activated in the future.

Source

val wait_delegate_parameters_activation : 
  (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

wait delegate_parameters_activation_delay cycles

Source

val wait_n_cycles_f_es : 
  (Scenario_base.t -> int Tezos_base.TzPervasives.tzresult Lwt.t) ->
  (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

Source

val wait_n_cycles_f : 
  (Scenario_base.t -> int) ->
  (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios