From f9b18d8386e97a7b769c955e68d6b0f2f80e06d5 Mon Sep 17 00:00:00 2001 From: Christopher Berner Date: Thu, 15 Aug 2024 20:37:59 -0700 Subject: [PATCH] Add check_integrity() to fuzzer --- fuzz/fuzz_targets/fuzz_redb.rs | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/fuzz/fuzz_targets/fuzz_redb.rs b/fuzz/fuzz_targets/fuzz_redb.rs index fd40a9cd..74b11ffd 100644 --- a/fuzz/fuzz_targets/fuzz_redb.rs +++ b/fuzz/fuzz_targets/fuzz_redb.rs @@ -687,8 +687,7 @@ fn exec_table_crash_support(config: &FuzzConfig, apply: fn(WriteTransa txn.abort().unwrap(); assert_eq!(allocated_pages, baseline_allocated_pages, "Found {} allocated pages at shutdown, expected {}", allocated_pages, baseline_allocated_pages); - // TODO: enable this assert - // assert!(db.check_integrity().unwrap()); + assert!(db.check_integrity().unwrap()); Ok(()) }