Skip to content

Commit

Permalink
Merge pull request #233 from input-output-hk/KtorZ/220/shuffle-quickc…
Browse files Browse the repository at this point in the history
…heck-constraints

relax a bit QuickCheck constraints on shuffle properties
  • Loading branch information
KtorZ authored May 7, 2019
2 parents 564a50d + 0b0bacf commit 1a59d86
Showing 1 changed file with 2 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -91,7 +91,7 @@ prop_shuffleCanShuffle
prop_shuffleCanShuffle xs =
length xs > 1 ==> monadicIO $ liftIO $ do
xs' <- shuffle xs
return $ cover 95 (xs /= xs') "shuffled" ()
return $ cover 90 (xs /= xs') "shuffled" ()

prop_shuffleNotDeterministic
:: [Int]
Expand All @@ -100,7 +100,7 @@ prop_shuffleNotDeterministic xs =
length xs > 1 ==> monadicIO $ liftIO $ do
xs1 <- shuffle xs
xs2 <- shuffle xs
return $ cover 95 (xs1 /= xs2) "not deterministic" ()
return $ cover 90 (xs1 /= xs2) "not deterministic" ()

prop_shufflePreserveElements
:: [Int]
Expand Down

0 comments on commit 1a59d86

Please sign in to comment.