Make adjustments to property test coverage conditions.

This commit makes some small adjustments to coverage checks in light of recent changes to generators.
cardano-foundation · Aug 17, 2021 · 118243f · 118243f
1 parent f2e9389
commit 118243f
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/lib/core/test/unit/Cardano/Wallet/Primitive/CoinSelection/MA/RoundRobinSpec.hs b/lib/core/test/unit/Cardano/Wallet/Primitive/CoinSelection/MA/RoundRobinSpec.hs
@@ -448,9 +448,9 @@ prop_Small_UTxOIndex_coverage (Small index) =
  -- Entry counts:
  $ cover 1 (entryCount == 0)
  "UTxO set size = 0 entries"
- $ cover 60 (entryCount > 16)
+ $ cover 40 (entryCount > 16)
  "UTxO set size > 16 entries"
- $ cover 20 (entryCount > 32)
+ $ cover 10 (entryCount > 32)
  "UTxO set size > 32 entries"
  True
  where

diff --git a/lib/core/test/unit/Cardano/Wallet/Primitive/Types/UTxOIndexSpec.hs b/lib/core/test/unit/Cardano/Wallet/Primitive/Types/UTxOIndexSpec.hs
@@ -553,7 +553,7 @@ prop_selectRandomWithPriority u =
  "have match for asset 1 but not for asset 2"
  monitor $ cover 4 (not haveMatchForAsset1 && haveMatchForAsset2)
  "have match for asset 2 but not for asset 1"
- monitor $ cover 4 (haveMatchForAsset1 && haveMatchForAsset2)
+ monitor $ cover 1 (haveMatchForAsset1 && haveMatchForAsset2)
  "have match for both asset 1 and asset 2"
  monitor $ cover 4 (not haveMatchForAsset1 && not haveMatchForAsset2)
  "have match for neither asset 1 nor asset 2"