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

Merge pull request #1333 from fitzgen/enable-ir-verifier-for-differential-fuzzing

Browse Source 
fuzzing: Enable Cranelift's IR verifier for differential fuzzing
This commit is contained in:
Nick Fitzgerald
2020-03-16 17:02:29 -07:00
committed by GitHub
parent e2f6c08052 3accccd5f7
commit 8bec21c518
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,