From 3accccd5f73400c78dcafc45dd0329e9fa63529d Mon Sep 17 00:00:00 2001
From: Nick Fitzgerald <fitzgen@gmail.com>
Date: Mon, 16 Mar 2020 16:21:45 -0700
Subject: [PATCH] fuzzing: Enable Cranelift's IR verifier for differential
 fuzzing

---
 crates/fuzzing/src/generators.rs | 1 +
 1 file changed, 1 insertion(+)

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