Skip to content

Commit

Permalink
Merge #3220
Browse files Browse the repository at this point in the history
3220: Generalize `SelectionFilter` tests within `UTxOIndexSpec`. r=jonathanknowles a=jonathanknowles

## Issue Number

ADP-1419

## Summary

This PR follows on from #3217. It:

- Replaces all `prop_selectRandom_one*` properties with a generalized `prop_selectRandom` property.
- Replaces all `prop_selectRandom_all*` properties with a generalized `prop_selectRandom_all` property.

In both cases, we use coverage checks to verify that we maintain the same coverage as before.


Co-authored-by: Jonathan Knowles <[email protected]>
  • Loading branch information
iohk-bors[bot] and jonathanknowles authored Apr 6, 2022
2 parents 73223bb + a94cdfe commit f5f4c92
Show file tree
Hide file tree
Showing 2 changed files with 163 additions and 238 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -90,6 +90,10 @@ module Cardano.Wallet.Primitive.Types.UTxOIndex.Internal
, tokenBundleAssetCount
, tokenBundleHasAsset

-- * Token bundle categorization
, BundleCategory (..)
, categorizeTokenBundle

-- * Utilities
, selectRandomSetMember

Expand Down
Loading

0 comments on commit f5f4c92

Please sign in to comment.