Skip to content

Commit

Permalink
Make 'prop_runSelection_UTxO_muchMoreThanEnough' blind about 'UTxOIndex'
Browse files Browse the repository at this point in the history
  Failures generate unreadable output which are pointless. For this test, it'll be better to rely on counterexample built for
  analyzing failures.
  • Loading branch information
KtorZ committed Jan 15, 2021
1 parent cb74e20 commit 4c3b51e
Showing 1 changed file with 3 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -81,6 +81,7 @@ import Test.Hspec.Core.QuickCheck
( modifyMaxSuccess )
import Test.QuickCheck
( Arbitrary (..)
, Blind (..)
, Gen
, Positive (..)
, Property
Expand Down Expand Up @@ -289,8 +290,8 @@ prop_runSelection_UTxO_moreThanEnough (Small index) = monadicIO $ do
cutAssetSetSizeInHalf balanceAvailable

prop_runSelection_UTxO_muchMoreThanEnough
:: Large UTxOIndex -> Property
prop_runSelection_UTxO_muchMoreThanEnough (Large index) =
:: Blind (Large UTxOIndex) -> Property
prop_runSelection_UTxO_muchMoreThanEnough (Blind (Large index)) =
-- Generation of large UTxO sets takes longer, so limit the number of runs:
withMaxSuccess 100 $
checkCoverage $
Expand Down

0 comments on commit 4c3b51e

Please sign in to comment.