Searched refs:diff_spec (Results 1 – 2 of 2) sorted by relevance
37 "spec" => Box::new(crate::oracles::diff_spec::SpecInterpreter::new(config)), in build()102 crate::oracles::diff_spec::setup_ocaml_runtime(); in setup_engine_runtimes()
16 pub mod diff_spec; module