Home
last modified time | relevance | path

Searched refs:diff_spec (Results 1 – 2 of 2) sorted by relevance

/wasmtime-44.0.1/crates/fuzzing/src/oracles/
H A Dengine.rs37 "spec" => Box::new(crate::oracles::diff_spec::SpecInterpreter::new(config)), in build()
102 crate::oracles::diff_spec::setup_ocaml_runtime(); in setup_engine_runtimes()
/wasmtime-44.0.1/crates/fuzzing/src/
H A Doracles.rs16 pub mod diff_spec; module