Module `Wasm_debugger.Commands`Source

Sourcemodule Prof : sig ... end

val compute_step : 
  Config.config ->
  Tezos_scoru_wasm_helpers.Wasm_utils.Wasm.tree ->
  (Tezos_scoru_wasm_helpers.Wasm_utils.Wasm.tree * int64)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

Source

val eval_to_result : 
  Config.config ->
  Tezos_scoru_wasm_helpers.Wasm_utils.tree ->
  (Tezos_scoru_wasm_helpers.Wasm_utils.tree * int64)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

Source

val eval_kernel_run : 
  Config.config ->
  Tezos_scoru_wasm_helpers.Wasm_utils.Wasm.tree ->
  (Tezos_scoru_wasm_helpers.Wasm_utils.Wasm_fast.tree * int64)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

Source

val eval_until_input_requested : 
  Config.config ->
  Tezos_scoru_wasm_helpers.Wasm_utils.Wasm.tree ->
  (Tezos_scoru_wasm_helpers.Wasm_utils.Wasm.tree * int64)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

Source

val produce_flamegraph : 
  collapse:bool ->
  max_depth:int ->
  Profiling.function_call Profiling.call_stack option list ->
  unit

Source

val profiling_results : 
  Profiling.function_call Profiling.call_stack option ->
  unit

Source

val eval_and_profile : 
  collapse:bool ->
  with_time:bool ->
  no_reboot:bool ->
  Config.config ->
  string Custom_section.FuncMap.t ->
  Tezos_scoru_wasm_helpers.Wasm_utils.Tree_encoding_runner.tree ->
  Tezos_scoru_wasm_helpers.Wasm_utils.Wasm.tree
    Tezos_base.TzPervasives.tzresult
    Lwt.t

Source

val set_raw_message_input_step : 
  int32 ->
  Z.t ->
  string ->
  Tezos_scoru_wasm_helpers.Wasm_utils.Wasm.tree ->
  Tezos_scoru_wasm_helpers.Wasm_utils.Wasm.tree Lwt.t

Source

val check_input_request : 
  Tezos_scoru_wasm_helpers.Wasm_utils.Wasm.tree ->
  (unit, string) result Lwt.t

Source

val load_inputs_gen : 
  string list Tezos_base.TzPervasives.Seq.t ->
  int32 ->
  Tezos_scoru_wasm_helpers.Wasm_utils.tree ->
  (Tezos_scoru_wasm_helpers.Wasm_utils.tree
   * string list Tezos_base.TzPervasives.Seq.t
   * int32,
    Tezos_base.TzPervasives.tztrace)
    result
    Lwt.t

Source

val load_inputs : 
  string list Tezos_base.TzPervasives.Seq.t ->
  int32 ->
  Tezos_scoru_wasm_helpers.Wasm_utils.Wasm.tree ->
  (Tezos_scoru_wasm_helpers.Wasm_utils.Wasm.tree
   * string list Tezos_base.TzPervasives.Seq.t
   * int32,
    Tezos_base.TzPervasives.tztrace)
    result
    Lwt.t

Source

val eval : 
  int32 ->
  string list Tezos_base.TzPervasives.Seq.t ->
  Config.config ->
  Octez_smart_rollup_wasm_debugger_lib__Commands.eval_step ->
  Tezos_scoru_wasm_helpers.Wasm_utils.Wasm.tree ->
  (Tezos_scoru_wasm_helpers.Wasm_utils.Wasm.tree
   * int64
   * string list Tezos_base.TzPervasives.Seq.t
   * int32,
    Tezos_base.TzPervasives.tztrace)
    result
    Lwt.t

Source

val profile : 
  collapse:bool ->
  with_time:bool ->
  no_reboot:bool ->
  int32 ->
  string list Tezos_base.TzPervasives.Seq.t ->
  Config.config ->
  string Custom_section.FuncMap.t ->
  Tezos_scoru_wasm_helpers.Wasm_utils.Tree_encoding_runner.tree ->
  (Tezos_scoru_wasm_helpers.Wasm_utils.Wasm.tree
   * string list Tezos_base.TzPervasives.Seq.t
   * int32,
    Tezos_base.TzPervasives.tztrace)
    result
    Lwt.t

Source

val pp_input_request : 
  Format.formatter ->
  Tezos_scoru_wasm.Wasm_pvm_state.input_request ->
  unit

Sourceval show_status : Tezos_scoru_wasm_helpers.Wasm_utils.Wasm.tree -> unit Lwt.t

Source

val step : 
  int32 ->
  string list Tezos_base.TzPervasives.Seq.t ->
  Config.config ->
  Octez_smart_rollup_wasm_debugger_lib__Commands.eval_step ->
  Tezos_scoru_wasm_helpers.Wasm_utils.Wasm.tree ->
  ((Tezos_scoru_wasm_helpers.Wasm_utils.Wasm.tree
    * string list Tezos_base.TzPervasives.Seq.t
    * int32)
     option,
    Tezos_base.TzPervasives.tztrace)
    result
    Lwt.t

Sourceval show_inbox : Tezos_scoru_wasm_helpers.Wasm_utils.Wasm.tree -> unit Lwt.t

Source

val show_outbox_gen : 
  Tezos_scoru_wasm_helpers.Wasm_utils.Wasm.tree ->
  int32 ->
  unit Lwt.t

Source

val show_outbox : 
  Tezos_scoru_wasm_helpers.Wasm_utils.Wasm.tree ->
  int32 ->
  unit Lwt.t

Source

val find_key_in_durable : 
  Tezos_scoru_wasm_helpers.Wasm_utils.tree ->
  Tezos_scoru_wasm.Durable.key ->
  Tezos_lazy_containers.Chunked_byte_vector.t option Lwt.t

Source

val print_durable : 
  ?depth:int ->
  ?show_values:bool ->
  ?path:string list ->
  Tezos_scoru_wasm_helpers.Wasm_utils.Ctx.Tree.tree ->
  unit Lwt.t

Source

val show_durable : 
  Tezos_scoru_wasm_helpers.Wasm_utils.Ctx.Tree.tree ->
  unit Lwt.t

Source

val show_subkeys : 
  Tezos_scoru_wasm_helpers.Wasm_utils.Ctx.Tree.tree ->
  string ->
  unit Lwt.t

Sourceval show_value : Repl_helpers.printable_value_kind -> string -> string

Source

val show_key_gen : 
  Tezos_scoru_wasm_helpers.Wasm_utils.tree ->
  Tezos_scoru_wasm.Durable.key ->
  Repl_helpers.printable_value_kind ->
  unit Lwt.t

Source

val show_key : 
  Tezos_scoru_wasm_helpers.Wasm_utils.tree ->
  string ->
  Repl_helpers.printable_value_kind ->
  unit Lwt.t

Sourceexception Cannot_inspect_memory of string

Source

val load_memory : 
  Tezos_scoru_wasm_helpers.Wasm_utils.Wasm.tree ->
  Tezos_webassembly_interpreter.Instance.memory_inst Lwt.t

Source

val show_memory : 
  Tezos_scoru_wasm_helpers.Wasm_utils.Wasm.tree ->
  Tezos_webassembly_interpreter.Memory.address ->
  int ->
  Repl_helpers.printable_value_kind ->
  unit Lwt.t

Sourceval dump_function_symbols : string Custom_section.FuncMap.t -> unit Lwt.t

Source

val reveal_preimage : 
  Config.config ->
  string option ->
  Tezos_scoru_wasm_helpers.Wasm_utils.Wasm.tree ->
  Tezos_scoru_wasm_helpers.Wasm_utils.Wasm.tree Lwt.t

Source

val reveal_metadata : 
  Config.config ->
  Tezos_scoru_wasm_helpers.Wasm_utils.Wasm.tree ->
  Tezos_scoru_wasm_helpers.Wasm_utils.Wasm.tree Lwt.t

Source

val get_function_symbols : 
  Tezos_scoru_wasm_helpers.Wasm_utils.tree ->
  (string Custom_section.FuncMap.t, Tezos_base.TzPervasives.tztrace) result
    Lwt.t

Source

val handle_command : 
  string ->
  Config.config ->
  Tezos_scoru_wasm_helpers.Wasm_utils.Wasm.tree ->
  string list Tezos_base.TzPervasives.Seq.t ->
  int32 ->
  ((Tezos_scoru_wasm_helpers.Wasm_utils.Wasm.tree
    * string list Tezos_base.TzPervasives.Seq.t
    * int32)
     option,
    Tezos_base.TzPervasives.tztrace)
    result
    Lwt.t

package octez-smart-rollup-wasm-debugger-lib

Module Wasm_debugger.CommandsSource

Module `Wasm_debugger.Commands`Source