Skip to content

Commit

Permalink
relax a bit QuickCheck constraints on shuffle properties
Browse files Browse the repository at this point in the history
  • Loading branch information
KtorZ committed May 7, 2019
1 parent 9b2dfbc commit 0b0bacf
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 0b0bacf

Please sign in to comment.