Struct WasmtimeEngine 

pub struct WasmtimeEngine { /* private fields */ }

A wrapper for using Wasmtime as a DiffEngine.

Implementations

impl WasmtimeEngine

pub fn new( u: &mut Unstructured<'_>, config: &mut Config, compiler_strategy: CompilerStrategy, ) -> Result<Self>

Merely store the configuration; the engine is actually constructed later. Ideally the store and engine could be built here but compile_module takes a generators::Config; TODO re-factor this if that ever changes.

Trait Implementations

impl DiffEngine for WasmtimeEngine

fn name(&self) -> &'static str

Return the name of the engine.

fn instantiate(&mut self, wasm: &[u8]) -> Result<Box<dyn DiffInstance>>

Create a new instance with the given engine.

fn assert_error_match(&self, lhs: &Error, rhs: &Trap)

Tests that the wasmtime-originating trap matches the error this engine generated.

fn is_non_deterministic_error(&self, err: &Error) -> bool

Returns whether the error specified from this engine is non-deterministic, like a stack overflow or an attempt to allocate an object that is too large (which is non-deterministic because it may depend on which collector it was configured with or memory available on the system).