Scenario_bake (octez-protocol-022-PsRiotum-libs.Tezos_022_PsRiotum_test_helpers.Scenario

val apply_end_cycle : 
  Tezos_022_PsRiotum_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_022_PsRiotum_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 Tezos_base.TzPervasives.tzresult Lwt.t

After baking and applying rewards in state

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

Misc checks at block end

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

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

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

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

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) 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 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 exec_op : 
  ((Block.t * 'a) ->
    (State.t
     * Tezos_protocol_022_PsRiotum.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