Skip to content

Commit

Permalink
Add check_integrity() to fuzzer
Browse files Browse the repository at this point in the history
  • Loading branch information
cberner committed Aug 17, 2024
1 parent bdbc88e commit 7a35233
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions fuzz/fuzz_targets/fuzz_redb.rs
Original file line number Diff line number Diff line change
Expand Up @@ -687,8 +687,7 @@ fn exec_table_crash_support<T: Clone>(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(())
}
Expand Down

0 comments on commit 7a35233

Please sign in to comment.