Adjust PacketStream to new test framework

clash-lang · Jul 31, 2024 · 7c96795 · 7c96795
1 parent 1b837cb
commit 7c96795
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 4 deletions.
diff --git a/src/Protocols/PacketStream/Base.hs b/src/Protocols/PacketStream/Base.hs
@@ -167,9 +167,8 @@ instance
   ) =>
   Test (PacketStream dom dataWidth metaType)
   where
-  expectToLengths Proxy = pure . P.length
-  expectN Proxy options nExpected sampled =
-    expectN (Proxy @(Df.Df dom _)) options nExpected
+  expectN Proxy options sampled =
+    expectN (Proxy @(Df.Df dom _)) options
       $ Df.maybeToData
       <$> sampled
 

diff --git a/tests/Tests/Protocols/PacketStream/PacketFifo.hs b/tests/Tests/Protocols/PacketStream/PacketFifo.hs
@@ -114,7 +114,7 @@ prop_overFlowDrop_packetFifo_drop :: Property
 prop_overFlowDrop_packetFifo_drop =
   idWithModelSingleDomain
     @C.System
-    (ExpectOptions 50 (Just 1_000) 30 False)
+    defExpectOptions
     -- make sure the timeout is long as the packetFifo can be quiet for a while while dropping
     (liftA3 (\a b c -> a ++ b ++ c) genSmall genBig genSmall)
     (C.exposeClockResetEnable model)