pub fn differential(
lhs: &mut dyn DiffInstance,
lhs_engine: &dyn DiffEngine,
rhs: &mut WasmtimeInstance,
name: &str,
args: &[DiffValue],
result_tys: &[DiffValueType],
) -> Result<bool>Expand description
Evaluate the function identified by name in two different engine
instances–lhs and rhs.
Returns Ok(true) if more evaluations can happen or Ok(false) if the
instances may have drifted apart and no more evaluations can happen.
§Panics
This will panic if the evaluation is different between engines (e.g., results are different, hashed instance is different, one side traps, etc.).