Module diff_spec

Evaluate an exported Wasm function using the WebAssembly specification reference interpreter.

Structs

SpecInterpreter

A wrapper for wasm-spec-interpreter as a DiffEngine.

Functions

setup_ocaml_runtime

Set up the OCaml runtime for triggering its signal handler configuration.