package octez-l2-libs

  1. Overview
  2. Docs
type tree
val is_stuck : tree -> Wasm_pvm_errors.t option Lwt.t
val set_max_nb_ticks : Z.t -> tree -> tree Lwt.t
val set_maximum_reboots_per_input : Z.t -> tree -> tree Lwt.t
val decr_reboot_counter : tree -> tree Lwt.t
val reset_reboot_counter : tree -> tree Lwt.t
val compute_step_many_until : ?max_steps:int64 -> ?reveal_builtins:Builtins.reveals -> ?write_debug:Builtins.write_debug -> (Wasm_pvm_state.Internal_state.pvm_state -> bool Lwt.t) -> tree -> (tree * int64) Lwt.t
include Wasm_vm_sig.Internal_for_tests with type state := tree
val compute_step_many_with_hooks : ?reveal_builtins:Builtins.reveals -> ?write_debug:Builtins.write_debug -> ?after_fast_exec:(unit -> unit) -> ?stop_at_snapshot:bool -> max_steps:int64 -> tree -> (tree * int64) Lwt.t
OCaml

Innovation. Community. Security.