Fix off-by-one error in `prop_selectRandomSetMember_coversRangeUnifor…

…mly`. In response to review feedback: https://github.com/input-output-hk/cardano-wallet/pull/2431/files#r554889471
cardano-foundation · Jan 11, 2021 · 370ae27 · 370ae27
1 parent fa7983a
commit 370ae27
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/core/test/unit/Cardano/Wallet/Primitive/Types/UTxOIndexSpec.hs b/lib/core/test/unit/Cardano/Wallet/Primitive/Types/UTxOIndexSpec.hs
@@ -480,7 +480,7 @@ prop_selectRandomSetMember_coversRangeUniformly i j =
         assert $ selected `Set.member` set
   where
     confidence = stdConfidence {tolerance = 0.99}
-    elementCount = greatest - smallest
+    elementCount = greatest - smallest + 1
     greatest = max i j
     inLowerHalf r = fromIntegral r % 1 <= midpoint
     inUpperHalf r = fromIntegral r % 1 >= midpoint