From 743a2ee46d6e6ba99321fe097f09262a4b93bad4 Mon Sep 17 00:00:00 2001
From: Jean-Paul Calderone <exarkun@twistedmatrix.com>
Date: Tue, 16 May 2023 10:26:22 -0400
Subject: [PATCH] Generate parameters in-bounds for our ZFEC
---
test/Generators.hs | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/test/Generators.hs b/test/Generators.hs
index 4a84982..a002c50 100644
--- a/test/Generators.hs
+++ b/test/Generators.hs
@@ -100,6 +100,6 @@ shareHashChains = HashChain <$> Gen.list range element
-- | Build a valid pair of (required, total) encoding parameters.
encodingParameters :: MonadGen m => m (Word16, Word16)
encodingParameters = do
- required <- Gen.integral (Range.exponential 1 255)
- total <- Gen.integral (Range.exponential (required + 1) 256)
+ required <- Gen.integral (Range.exponential 1 254)
+ total <- Gen.integral (Range.exponential (required + 1) 255)
pure (required, total)
--
GitLab