Wasm_debugger (octez-evm-node-libs.Evm_node_lib_dev.Wasm

type config = Octez_smart_rollup_wasm_debugger_lib.Config.config

val config : 
  ?sender:Tezos_protocol_alpha.Protocol.Contract_hash.t ->
  ?source:Tezos_base.TzPervasives.Signature.Public_key_hash.t ->
  ?destination:Tezos_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Address.t ->
  ?preimage_directory:string ->
  ?preimage_endpoint:Uri.t ->
  ?dal_pages_directory:string ->
  ?kernel_debug:bool ->
  ?flamecharts_directory:string ->
  ?timings_file:string ->
  unit ->
  config

Constructs a configuration for rollup execution.

type kernel =

| In_memory of string
| On_disk of string

Describe where the kernel code can be found: either in-memory from a buffer, or on-disk using a given path.

val read_kernel : 
  kernel ->
  (string * bool) Tezos_base.TzPervasives.tzresult Lwt.t

read_kernel kernel returns a tuple consisting of the kernel code content and a boolean is_binary, where is_binary is true if content is a WASM blob, and false if it is a wat file (WebAssembly text format).

val check_kernel : 
  binary:bool ->
  name:string ->
  Tezos_scoru_wasm.Wasm_pvm_state.version ->
  string ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val set_durable_value : 
  ?edit_readonly:bool ->
  Tezos_layer2_irmin_context.Irmin_context.tree ->
  string ->
  string ->
  Tezos_layer2_irmin_context.Irmin_context.tree Lwt.t

val start : 
  tree:Tezos_layer2_irmin_context.Irmin_context.tree ->
  Tezos_scoru_wasm.Wasm_pvm_state.version ->
  kernel ->
  Tezos_layer2_irmin_context.Irmin_context.tree
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val find_key_in_durable : 
  Tezos_layer2_irmin_context.Irmin_context.tree ->
  Tezos_scoru_wasm.Durable.key ->
  Tezos_lazy_containers.Chunked_byte_vector.t option Lwt.t

val wrap_as_durable_storage : 
  Tezos_layer2_irmin_context.Irmin_context.tree ->
  Tezos_webassembly_interpreter.Durable_storage.t Lwt.t

val eval : 
  ?hooks:Tezos_scoru_wasm.Hooks.t ->
  ?migrate_to:Tezos_scoru_wasm.Pvm_input_kind.protocol ->
  write_debug:Tezos_scoru_wasm.Builtins.write_debug ->
  wasm_entrypoint:string ->
  int32 ->
  string Tezos_base.TzPervasives.trace Tezos_base.TzPervasives.Seq.t ->
  config ->
  Octez_smart_rollup_wasm_debugger_lib.Commands.eval_step ->
  Tezos_layer2_irmin_context.Irmin_context.tree ->
  (Tezos_layer2_irmin_context.Irmin_context.tree
   * int64
   * string Tezos_base.TzPervasives.trace Tezos_base.TzPervasives.Seq.t
   * int32)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val profile : 
  ?migrate_to:Tezos_scoru_wasm.Pvm_input_kind.protocol ->
  ?hooks:Tezos_scoru_wasm.Hooks.t ->
  collapse:bool ->
  with_time:bool ->
  no_reboot:bool ->
  int32 ->
  string Tezos_base.TzPervasives.trace Tezos_base.TzPervasives.Seq.t ->
  config ->
  string Octez_smart_rollup_wasm_debugger_lib.Custom_section.FuncMap.t ->
  Tezos_layer2_irmin_context.Irmin_context.tree ->
  (Tezos_layer2_irmin_context.Irmin_context.tree
   * string Tezos_base.TzPervasives.trace Tezos_base.TzPervasives.Seq.t
   * int32)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val encode : 
  Tezos_scoru_wasm.Wasm_pvm_state.Internal_state.pvm_state ->
  Tezos_layer2_irmin_context.Irmin_context.tree ->
  Tezos_layer2_irmin_context.Irmin_context.tree Lwt.t

val decode : 
  Tezos_layer2_irmin_context.Irmin_context.tree ->
  Tezos_scoru_wasm.Wasm_pvm_state.Internal_state.pvm_state Lwt.t

val get_wasm_version : 
  Tezos_layer2_irmin_context.Irmin_context.tree ->
  Tezos_scoru_wasm.Wasm_pvm_state.version Lwt.t

val get_function_symbols : 
  Tezos_layer2_irmin_context.Irmin_context.tree ->
  string Octez_smart_rollup_wasm_debugger_lib.Custom_section.FuncMap.t
    Tezos_base.TzPervasives.tzresult
    Lwt.t