Fix false positive in fuzzer

cberner · Sep 24, 2023 · 40b3a1f · 40b3a1f
1 parent 6c0f3fb
commit 40b3a1f
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/fuzz/fuzz_targets/fuzz_redb.rs b/fuzz/fuzz_targets/fuzz_redb.rs
@@ -355,7 +355,10 @@ fn handle_table_op(op: &FuzzOperation, reference: &mut BTreeMap<u64, usize>, tab
             }
             drop(reference_iter);
             reference.retain(|x, _| (*x < start || *x >= end) || *x % modulus != 0);
-            assert!(iter.next().is_none());
+            // This is basically assert!(iter.next().is_none()), but we also allow an Err such as SimulatedIOFailure
+            if let Some(Ok((_, _)))  = iter.next() {
+                panic!();
+            }
         }
         FuzzOperation::Range {
             start_key,