From 44cd74b35588e056b19d19d80870c6302a448848 Mon Sep 17 00:00:00 2001 From: Fraser Murray Date: Thu, 23 Jan 2025 12:19:52 +0000 Subject: [PATCH] fix SizeAndCapacity generating examples where size > capacity --- .../testlib/Ouroboros/Network/Protocol/LocalTxMonitor/Test.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ouroboros-network-protocols/testlib/Ouroboros/Network/Protocol/LocalTxMonitor/Test.hs b/ouroboros-network-protocols/testlib/Ouroboros/Network/Protocol/LocalTxMonitor/Test.hs index 7f4c1c6dda..bbbbcae7c4 100644 --- a/ouroboros-network-protocols/testlib/Ouroboros/Network/Protocol/LocalTxMonitor/Test.hs +++ b/ouroboros-network-protocols/testlib/Ouroboros/Network/Protocol/LocalTxMonitor/Test.hs @@ -242,8 +242,8 @@ instance Arbitrary MeasureName where instance Arbitrary (SizeAndCapacity Integer) where arbitrary = do - Positive s <- arbitrary - c <- chooseInteger (0, s) + Positive c <- arbitrary + s <- chooseInteger (0, c) pure $ SizeAndCapacity s c instance Arbitrary MempoolSizeAndCapacity where