T0b1/wasmtime
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add some debugging assistance to spectest oracle

Browse Source 
Basically just log what's happening so if you're running the fuzzer you
can see what test is being run.
This commit is contained in:
Alex Crichton
2020-04-30 12:25:06 -07:00
parent 864cf98c8d
commit d88a147b4d
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
crates/fuzzing/src/oracles.rs
View File

@@ -393,6 +393,8 @@ pub fn make_api_calls(api: crate::generators::api::ApiCalls) {
/// ///
/// Ensures that spec tests pass regardless of the `Config`. /// Ensures that spec tests pass regardless of the `Config`.
pub fn spectest(config: crate::generators::Config, test: crate::generators::SpecTest) { pub fn spectest(config: crate::generators::Config, test: crate::generators::SpecTest) {
crate::init_fuzzing();
log::debug!("running {:?} with {:?}", test.file, config);
let store = Store::new(&Engine::new(&config.to_wasmtime())); let store = Store::new(&Engine::new(&config.to_wasmtime()));
let mut wast_context = WastContext::new(store); let mut wast_context = WastContext::new(store);
wast_context.register_spectest().unwrap(); wast_context.register_spectest().unwrap();