From 1c0c8fa112b0cf59c6a120cf0a9533df0fb2eb0b Mon Sep 17 00:00:00 2001
From: Hansung Kim <hansung_kim@berkeley.edu>
Date: Fri, 31 Mar 2023 20:15:37 -0700
Subject: [PATCH] Complete test for enqueuing to invalidated tail

---
 src/test/scala/CoalescingUnitTest.scala | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/test/scala/CoalescingUnitTest.scala b/src/test/scala/CoalescingUnitTest.scala
index a931494..0cca2ea 100644
--- a/src/test/scala/CoalescingUnitTest.scala
+++ b/src/test/scala/CoalescingUnitTest.scala
@@ -197,6 +197,13 @@ class CoalShiftQueueTest extends AnyFlatSpec with ChiselScalatestTester {
       c.io.enq.ready.expect(true.B)
       c.io.enq.valid.poke(true.B)
       c.io.enq.bits.poke(0x34.U)
+      c.clock.step()
+      c.io.invalidate.poke(0x0.U)
+      c.io.enq.valid.poke(false.B)
+      // now should be able to dequeue immediately as tail is overwritten
+      c.io.deq.ready.poke(true.B)
+      c.io.deq.valid.expect(true.B)
+      c.io.deq.bits.expect(0x34)
     }
   }
 }