package octez-l2-libs

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type tree

val get_tick_state : tree -> Wasm_pvm_state.Internal_state.tick_state Lwt.t

val get_module_instance_exn : 
  tree ->
  Tezos_webassembly_interpreter.Instance.module_inst Lwt.t

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 get_input_buffer : 
  tree ->
  Tezos_webassembly_interpreter.Input_buffer.t Lwt.t

val get_output_buffer : 
  tree ->
  Tezos_webassembly_interpreter.Output_buffer.t 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