Module Octez_smart_rollup_node.SimulationSource

Sourcetype level_position =
  1. | Start
  2. | Middle
  3. | End
Sourcetype info_per_level = {
  1. predecessor_timestamp : Tezos_base.Time.Protocol.t;
  2. predecessor : Tezos_base.TzPervasives.Block_hash.t;
}
Sourcetype t = {
  1. ctxt : Context.ro;
  2. inbox_level : int32;
  3. state : Context.tree;
  4. reveal_map : string Octez_smart_rollup_node.Utils.Reveal_hash_map.t option;
  5. nb_messages_inbox : int;
  6. level_position : level_position;
  7. info_per_level : info_per_level;
  8. plugin : (module Protocol_plugin_sig.S);
}

Type of the state for a simulation.

Sourceval start_simulation : Node_context.ro -> reveal_map:string Octez_smart_rollup_node.Utils.Reveal_hash_map.t option -> Layer1.head -> t Tezos_base.TzPervasives.tzresult Lwt.t

start_simulation node_ctxt reveal_source block starts a new simulation on top of block, i.e. for an hypothetical new inbox (level).

Sourceval simulate_messages : Node_context.ro -> t -> string list -> (t * Z.t) Tezos_base.TzPervasives.tzresult Lwt.t

simulate_messages node_ctxt sim messages runs a simulation of new messages in the given simulation (state) sim and returns a new simulation state, the remaining fuel (when ?fuel is provided) and the number of ticks that happened.

Sourceval end_simulation : Node_context.ro -> t -> (t * Z.t) Tezos_base.TzPervasives.tzresult Lwt.t

end_simulation node_ctxt sim adds and End_of_level message and marks the simulation as ended.