Scenario_bake (mavkit-protocol-alpha-libs.Mavryk_alpha_test_helpers.Scenario

val apply_end_cycle : 
  Mavryk_alpha_test_helpers.State_account.Cycle.t ->
  Block.t ->
  Block.t ->
  State.t ->
  State.t Mavryk_base.TzPervasives.tzresult Lwt.t

Applies when baking the last block of a cycle

val apply_new_cycle : 
  Mavryk_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 : 
  Block.t ->
  State.t ->
  unit Mavryk_base.TzPervasives.tzresult Lwt.t

After baking and applying rewards in state

val check_issuance_rpc : 
  Block.t ->
  unit Mavryk_base.TzPervasives.tzresult Lwt.t

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

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

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

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

val bake_until_next_cycle : 
  Scenario_base.t ->
  Scenario_base.t Mavryk_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 Mavryk_base.TzPervasives.tzresult Lwt.t

Bake all the remaining blocks of the current cycle

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

Bake a single block

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 Mavryk_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 exec_op : 
  ((Block.t * 'a) ->
    (State.t
     * Mavryk_protocol_alpha.Protocol.Alpha_context.packed_operation list,
      Mavryk_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 Mavryk_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 : 
  [< `AI_activation
  | `AI_activation_with_votes
  | `And of 'b * 'b
  | `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_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.

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 Mavryk_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