Searched refs:DiffEngine (Results 1 – 6 of 6) sorted by relevance
17 ) -> arbitrary::Result<Option<Box<dyn DiffEngine>>> { in build() argument18 let engine: Box<dyn DiffEngine> = match name { in build()53 pub trait DiffEngine { trait182 T: DiffEngine, in smoke_test_engine() argument
5 use crate::oracles::engine::{DiffEngine, DiffInstance};36 impl DiffEngine for SpecInterpreter {
4 use crate::oracles::engine::{DiffEngine, DiffInstance};67 impl DiffEngine for WasmiEngine {
6 use crate::oracles::{StoreLimits, compile_module, engine::DiffEngine};43 impl DiffEngine for WasmtimeEngine {
2 use crate::oracles::engine::{DiffEngine, DiffInstance};43 impl DiffEngine for V8Engine {
25 use self::engine::{DiffEngine, DiffInstance};453 lhs_engine: &dyn DiffEngine, in differential() argument561 lhs_engine: &dyn DiffEngine, in new() argument