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

fuzzing: Enable Cranelift's IR verifier for differential fuzzing

Browse Source
This commit is contained in:
Nick Fitzgerald
2020-03-16 16:21:45 -07:00
parent e2f6c08052
commit 3accccd5f7
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
crates/fuzzing/src/generators.rs
View File

@@ -64,6 +64,7 @@ impl DifferentialConfig {
/// Convert this differential fuzzing config into a `wasmtime::Config`. /// Convert this differential fuzzing config into a `wasmtime::Config`.
pub fn to_wasmtime_config(&self) -> anyhow::Result<wasmtime::Config> { pub fn to_wasmtime_config(&self) -> anyhow::Result<wasmtime::Config> {
let mut config = wasmtime::Config::new(); let mut config = wasmtime::Config::new();
config.cranelift_debug_verifier(true);
config.strategy(match self.strategy { config.strategy(match self.strategy {
DifferentialStrategy::Cranelift => wasmtime::Strategy::Cranelift, DifferentialStrategy::Cranelift => wasmtime::Strategy::Cranelift,
DifferentialStrategy::Lightbeam => wasmtime::Strategy::Lightbeam, DifferentialStrategy::Lightbeam => wasmtime::Strategy::Lightbeam,