Skip to content

Commit

Permalink
Blind the argument to prop_txConstraints_txOutputMaximumSize.
Browse files Browse the repository at this point in the history
We probably want to avoid spamming the test log with the output of
`show` for very large token bundles. We already have a large set of
counterexample data.

In response to review feedback:

https://github.com/input-output-hk/cardano-wallet/pull/2620/files#r622669907
  • Loading branch information
jonathanknowles committed Apr 30, 2021
1 parent 04e9013 commit e687560
Showing 1 changed file with 3 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -134,6 +134,7 @@ import Test.Hspec.QuickCheck
( prop )
import Test.QuickCheck
( Arbitrary (..)
, Blind (..)
, InfiniteList (..)
, NonEmptyList (..)
, Property
Expand Down Expand Up @@ -891,8 +892,8 @@ instance Arbitrary (Large TokenBundle) where
-- between 'txOutputSize' and 'txOutputMaximumSize' should also indicate that
-- the bundle is oversized.
--
prop_txConstraints_txOutputMaximumSize :: Large TokenBundle -> Property
prop_txConstraints_txOutputMaximumSize (Large bundle) =
prop_txConstraints_txOutputMaximumSize :: Blind (Large TokenBundle) -> Property
prop_txConstraints_txOutputMaximumSize (Blind (Large bundle)) =
checkCoverage $
cover 10 (authenticComparison == LT)
"authentic bundle size is smaller than maximum" $
Expand Down

0 comments on commit e687560

Please sign in to comment.