Module `Commands.Make`Source

Parameters

module Wasm_utils : Tezos_scoru_wasm_helpers.Wasm_utils_intf.S

Signature

Sourcemodule Prof : sig ... end

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

Source

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

eval_to_result tree tries to evaluates the PVM until the next `SK_Result` or `SK_Trap`, and stops in case of reveal tick or input tick. It has the property that the memory hasn't been flushed yet and can be inspected.

Source

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

Source

val eval_until_input_requested : 
  Config.config ->
  Wasm_utils.Wasm.tree ->
  (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 ->
  Wasm_utils.Tree_encoding_runner.tree ->
  Wasm_utils.Wasm.tree Tezos_base.TzPervasives.tzresult Lwt.t

Source

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

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

Source

val load_inputs_gen : 
  string list Tezos_base.TzPervasives.Seq.t ->
  int32 ->
  Wasm_utils.tree ->
  (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 ->
  Wasm_utils.Wasm.tree ->
  (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 ->
  eval_step ->
  Wasm_utils.Wasm.tree ->
  (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 ->
  Wasm_utils.Tree_encoding_runner.tree ->
  (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 : Wasm_utils.Wasm.tree -> unit Lwt.t

Source

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

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

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

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

Source

val find_key_in_durable : 
  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 ->
  Wasm_utils.Ctx.Tree.tree ->
  unit Lwt.t

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

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

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

Source

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

Source

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

Sourceexception Cannot_inspect_memory of string

Source

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

Source

val show_memory : 
  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 ->
  Wasm_utils.Wasm.tree ->
  Wasm_utils.Wasm.tree Lwt.t

Source

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

Source

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

Source

val handle_command : 
  string ->
  Config.config ->
  Wasm_utils.Wasm.tree ->
  string list Tezos_base.TzPervasives.Seq.t ->
  int32 ->
  ((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 Commands.MakeSource

Parameters

Signature

Module `Commands.Make`Source