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

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

octez-smart-rollup-wasm-debugger-lib
- Octez_smart_rollup_wasm_debugger_lib
  - Commands
    
    Make
    
    Prof
  - Config
  - Custom_section
    
    FuncMap
  - Messages
  - Profiling
    
    Make
    
    State
    
    StringMap
  - Repl_helpers
  - Wasm_debugger
    
    Commands
    
    Prof
    
    Make
    
    Commands
    
    Prof

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module Wasm_utils : Tezos_scoru_wasm_helpers.Wasm_utils_intf.S

Signature

val eval_and_profile : 
  ?write_debug:Tezos_scoru_wasm.Builtins.write_debug ->
  ?reveal_builtins:Tezos_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.