From 134b659b79a34b4c18e4fc3d386ff218cc536336 Mon Sep 17 00:00:00 2001
From: Alex Koshelev <koshelev@meta.com>
Date: Wed, 12 Jun 2024 14:25:25 -0700
Subject: [PATCH] Improve coverage a bit more

---
 ipa-core/src/helpers/buffers/circular.rs | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/ipa-core/src/helpers/buffers/circular.rs b/ipa-core/src/helpers/buffers/circular.rs
index 9777c07d1..d2cb78b77 100644
--- a/ipa-core/src/helpers/buffers/circular.rs
+++ b/ipa-core/src/helpers/buffers/circular.rs
@@ -100,10 +100,6 @@ impl CircularBuf {
             read_size % write_size == 0,
             "\"{write_size}\" write size must divide read_size \"{read_size}\""
         );
-        debug_assert!(
-            read_size <= capacity,
-            "read size \"{read_size}\" must be less than or equal to capacity \"{capacity}\""
-        );
         Self {
             write: 0,
             read: 0,
@@ -537,7 +533,9 @@ mod test {
         output.extend(Six::read_once(&mut buf).into_iter().map(usize::from));
         buf.next().write(&TwoBytes::from(&6));
         buf.next().write(&TwoBytes::from(&7));
+        assert!(!buf.is_closed());
         buf.close();
+        assert!(buf.is_closed());
 
         output.extend(Six::read_once(&mut buf).into_iter().map(usize::from));
 
@@ -776,7 +774,6 @@ mod test {
         }
 
         fn read_write(setup: BufSetup, ops: u32, seed: u64) {
-            println!("{setup:?}, {ops}, {seed}");
             let mut buf = CircularBuf::from(setup);
             let mut cnt = Wrapping::<u8>::default();
             let mut written = Vec::new();