Make (mavkit-smart-rollup-wasm-debugger-lib.Mavkit_smart_rollup_wasm_debugger

Parameters

module Wasm_utils : Mavryk_scoru_wasm_helpers.Wasm_utils_intf.S

Signature

val eval_and_profile : 
  ?write_debug:Mavryk_scoru_wasm.Builtins.write_debug ->
  ?reveal_builtins:Mavryk_scoru_wasm.Builtins.reveals ->
  with_time:bool ->
  no_reboot:bool ->
  string Custom_section.FuncMap.t ->
  Wasm_utils.Tree_encoding_runner.tree ->
  (Wasm_utils.Wasm.tree * Z.t * function_call call_stack option list) Lwt.t

eval_and_profile ?write_debug ?reveal_builtins symbols tree profiles a kernel up to the next result, and returns the call stack.