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

Merge pull request #1638 from alexcrichton/fuz-debug

Browse Source 
Add some debugging assistance to spectest oracle
This commit is contained in:
Nick Fitzgerald
2020-05-01 09:12:09 -07:00
committed by GitHub
parent 8393412c40 d88a147b4d
commit 1ec6e6e0eb
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();