Module Octez_smart_rollup_node.Interpreter_event

module Simple : sig ... end
val transitioned_pvm : int32 -> Octez_smart_rollup.State_hash.t -> Z.t -> int -> unit Lwt.t

transition_pvm inbox_level hash tick n emits the event that a PVM transition is leading to the state of the given hash by processing n messages at tick.

val intended_failure : level:int -> message_index:int -> message_tick:int64 -> internal:bool -> unit Lwt.t

intended_failure level message_index message_tick internal emits the event that an intended failure has been injected at some given level, during the processing of a given message_index and at tick message_tick during this message processing. internal is true if the failure is injected in a PVM internal step. internal is false if the failure is injected in the input to the PVM.

val missing_pre_image : hash:string -> unit Lwt.t
val fetched_incorrect_pre_image : expected_hash:string -> content_hash:string -> unit Lwt.t
val patching_genesis_state : Pvm_patches.unsafe_patch -> unit Lwt.t
val fast_exec_panic : exn -> unit Lwt.t
val refutation_cache_hit : tick:Z.t -> source:string -> unit Lwt.t
val refutation_cache_miss : tick:Z.t -> unit Lwt.t
val refutation_run_to_tick : start_tick:Z.t -> end_tick:Z.t -> distance:int64 -> unit Lwt.t
val refutation_start_state : level:int32 -> predecessor:Tezos_base.TzPervasives.Block_hash.t -> initial_tick:Z.t -> unit Lwt.t
val refutation_state_of_tick : level:int32 -> tick:Z.t -> unit Lwt.t
val refutation_riscv_advance : from_level:int32 -> to_level:int32 -> unit Lwt.t