sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
module Ctx : Tezos_tree_encoding.Encodings_util.S
type t = Ctx.t
type tree = Ctx.Tree.tree
val input_info : int32 -> Z.t -> Tezos_scoru_wasm.Wasm_pvm_state.input_info
val reveal_builtins : Tezos_scoru_wasm.Builtins.reveals
val eval_until_stuck :
?wasm_entrypoint:string ->
?reveal_builtins:Tezos_scoru_wasm.Builtins.reveals ->
?write_debug:Tezos_scoru_wasm.Builtins.write_debug ->
?max_steps:int64 ->
tree ->
(Tezos_scoru_wasm.Wasm_pvm_errors.t * tree) Tezos_base.TzPervasives.tzresult
Lwt.t
val eval_to_snapshot :
?wasm_entrypoint:string ->
?reveal_builtins:Tezos_scoru_wasm.Builtins.reveals ->
?write_debug:Tezos_scoru_wasm.Builtins.write_debug ->
?max_steps:int64 ->
tree ->
tree Lwt.t
val eval_until_input_requested :
?wasm_entrypoint:string ->
?reveal_builtins:Tezos_scoru_wasm.Builtins.reveals option ->
?write_debug:Tezos_scoru_wasm.Builtins.write_debug ->
?after_fast_exec:(unit -> unit) ->
?fast_exec:bool ->
?max_steps:int64 ->
tree ->
tree Lwt.t
val eval_until_input_or_reveal_requested :
?wasm_entrypoint:string ->
?write_debug:Tezos_scoru_wasm.Builtins.write_debug ->
?after_fast_exec:(unit -> unit) ->
?fast_exec:bool ->
?max_steps:int64 ->
tree ->
tree Lwt.t
val set_protocol_migration_input :
Tezos_scoru_wasm.Pvm_input_kind.protocol ->
int32 ->
tree ->
tree Lwt.t
val set_inputs_step :
?migrate_to:Tezos_scoru_wasm.Pvm_input_kind.protocol ->
(int32 -> Z.t -> 'a -> tree -> tree Lwt.t) ->
'a Tezos_base.TzPervasives.trace ->
int32 ->
tree ->
tree Lwt.t
val set_full_input_step :
?migrate_to:Tezos_scoru_wasm.Pvm_input_kind.protocol ->
string list ->
int32 ->
tree ->
tree Lwt.t
val set_empty_inbox_step :
?migrate_to:Tezos_scoru_wasm.Pvm_input_kind.protocol ->
int32 ->
tree ->
tree Lwt.t
val set_full_raw_input_step :
?migrate_to:Tezos_scoru_wasm.Pvm_input_kind.protocol ->
string Tezos_base.TzPervasives.trace ->
int32 ->
tree ->
tree Lwt.t
val eval_to_result :
?wasm_entrypoint:string ->
?write_debug:Tezos_scoru_wasm.Builtins.write_debug ->
?reveal_builtins:Tezos_scoru_wasm.Builtins.reveals ->
tree ->
(tree * int64) Lwt.t
val pp_state :
Format.formatter ->
Tezos_scoru_wasm.Wasm_pvm_state.Internal_state.tick_state ->
unit
val print_error_state : Tezos_scoru_wasm.Wasm_pvm_errors.t -> string
val check_error :
?expected_kind:Wasm_utils_intf.error_kind ->
?expected_reason:string ->
Tezos_scoru_wasm.Wasm_pvm_errors.t ->
bool
check_error kind reason error
checks a Wasm PVM error error
is of a given kind
with a possible reason
.
kind
is None
, returns true.reason
is None
, it simply check the given kind, otherwise it actually check the reason in the error.val is_stuck :
?step:Wasm_utils_intf.error_kind ->
?reason:string ->
Tezos_scoru_wasm.Wasm_pvm_state.Internal_state.tick_state ->
bool
val wrap_as_durable_storage :
tree ->
Tezos_webassembly_interpreter.Durable_storage.t Lwt.t
val make_durable :
(string * string) list ->
Tezos_webassembly_interpreter.Durable_storage.t Lwt.t
val make_module_inst :
version:Tezos_scoru_wasm.Wasm_pvm_state.version ->
string list ->
int32 ->
Tezos_webassembly_interpreter.Instance.module_inst
Tezos_webassembly_interpreter.Instance.ModuleMap.t
* Tezos_webassembly_interpreter.Instance.module_key
* Tezos_webassembly_interpreter.Host_funcs.registry
module Tree_encoding_runner :
Tezos_tree_encoding.Runner.S with type tree = tree
module Wasm : Tezos_scoru_wasm.Wasm_pvm_sig.S with type tree = tree
module Wasm_fast : Tezos_scoru_wasm.Wasm_pvm_sig.S with type tree = tree