Fix bug in differential fuzzer non-determinism detection (#1258)

fix bug in differential fuzzer non-determinism detection
wasmi-labs · Oct 26, 2024 · 9e50ad2 · 9e50ad2
1 parent 93e8898
commit 9e50ad2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/fuzz/fuzz_targets/differential.rs b/fuzz/fuzz_targets/differential.rs
@@ -60,7 +60,7 @@ fuzz_target!(|seed: &[u8]| {
                 continue;
             }
         }
-        if let Err(oracle_err) = &result_wasmi {
+        if let Err(oracle_err) = &result_oracle {
             if oracle_err.is_non_deterministic() {
                 deterministic = false;
                 continue;