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

Fix enabling interrupts in fuzzers

Browse Source 
Modifying the `Config` after the gneine has been created has no effect,
so be sure to flag the configuration as interruptible earlier.
This commit is contained in:
Alex Crichton
2020-10-09 10:09:27 -07:00
parent 0ba35171fb
commit cdf158cd50
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -66,11 +66,11 @@ pub fn instantiate(wasm: &[u8], strategy: Strategy) {
pub fn instantiate_with_config(wasm: &[u8], mut config: Config, timeout: Option<Duration>) { pub fn instantiate_with_config(wasm: &[u8], mut config: Config, timeout: Option<Duration>) {
crate::init_fuzzing(); crate::init_fuzzing();
config.interruptable(timeout.is_some());
let engine = Engine::new(&config); let engine = Engine::new(&config);
let store = Store::new(&engine); let store = Store::new(&engine);
if let Some(timeout) = timeout { if let Some(timeout) = timeout {
config.interruptable(true);
let handle = store.interrupt_handle().unwrap(); let handle = store.interrupt_handle().unwrap();
std::thread::spawn(move || { std::thread::spawn(move || {
std::thread::sleep(timeout); std::thread::sleep(timeout);