From 51b6a0436cb4ab44c9c9b5bd93cda8da0049b3d9 Mon Sep 17 00:00:00 2001
From: Rainy Sinclair <844493+itsrainy@users.noreply.github.com>
Date: Tue, 6 Dec 2022 15:18:57 -0500
Subject: [PATCH] Run differential fuzzing in non-trapping mode 90% of the time
 (#5385)

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

diff --git a/crates/fuzzing/src/generators/module.rs b/crates/fuzzing/src/generators/module.rs
index a33feb1db3..7ff78c2b7d 100644
--- a/crates/fuzzing/src/generators/module.rs
+++ b/crates/fuzzing/src/generators/module.rs
@@ -39,6 +39,10 @@ impl<'a> Arbitrary<'a> for ModuleConfig {
         // https://github.com/bytecodealliance/wasmtime/issues/4267.
         config.threads_enabled = !config.memory64_enabled && u.ratio(1, 20)?;
 
+        // We get better differential execution when we disallow traps, so we'll
+        // do that most of the time.
+        config.disallow_traps = u.ratio(9, 10)?;
+
         Ok(ModuleConfig { config })
     }
 }