Scenario_bake (octez-protocol-alpha-libs.Tezos_alpha_test_helpers.Scenario

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

Applies when baking the last block of a cycle

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

val check_all_balances : 
  'a ->
  (Block.t * State.t) ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

After baking and applying rewards in state

val check_misc : 
  'a ->
  (Block.t * State.t) ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Misc checks at block end

val check_issuance_rpc : 
  'a ->
  (Block.t * 'b) ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val check_ai_launch_cycle_is_zero : 
  loc:string ->
  Block.t ->
  (unit, Tezos_base.TzPervasives.tztrace) Stdlib.result Lwt.t

val apply_all_pending_operations_ : 
  Scenario_base.t_incr ->
  Scenario_base.t_incr Tezos_base.TzPervasives.tzresult Lwt.t

Apply all operations pending in the state. It is imperative that the list of pending operations in the state is empty before finalizing the block, either manually, or by calling this function.

val finalize_payload_ : 
  ?payload_round:int ->
  ?baker:string ->
  Scenario_base.t ->
  Scenario_base.t_incr Tezos_base.TzPervasives.tzresult Lwt.t

finalize the payload of the next block. Can start including preattestations.

val finalize_payload : 
  ?payload_round:int ->
  ?baker:string ->
  unit ->
  (Scenario_base.t, Scenario_base.t_incr) Scenario_dsl.scenarios

val finalize_block_ : 
  Scenario_base.t_incr ->
  Scenario_base.t Tezos_base.TzPervasives.tzresult Lwt.t

val finalize_block : 
  (Scenario_base.t_incr, Scenario_base.t) Scenario_dsl.scenarios

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.

val repeat : 
  int ->
  ('a -> ('a, 'b) Stdlib.result Lwt.t) ->
  'a ->
  ('a, 'b) Stdlib.result Lwt.t

val bake_until_level : 
  target_level:int ->
  Scenario_base.t ->
  Scenario_base.t Tezos_base.TzPervasives.tzresult Lwt.t

val bake_until : 
  target_cycle:int ->
  [< `Cycle_end | `Cycle_end_but_one | `New_cycle ] ->
  Scenario_base.t ->
  Scenario_base.t Tezos_base.TzPervasives.tzresult Lwt.t

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

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

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

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

Bake a single block

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

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

Bake a single block with a specific baker

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

Bake until the end of a cycle

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

Bake until the end of a cycle

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

val exec_op : 
  ((Block.t * 'a) ->
    (State.t
     * Tezos_protocol_alpha.Protocol.Alpha_context.packed_operation list,
      Tezos_base.TzPervasives.tztrace)
      Stdlib.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

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

Waiting functions

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

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

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.

val wait_cycle_until : 
  [< `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.

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

wait delegate_parameters_activation_delay cycles

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

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