From 0b0bacf0a5c6d017874e830df20a2f15f1f43fc2 Mon Sep 17 00:00:00 2001 From: KtorZ Date: Tue, 7 May 2019 16:08:02 +0200 Subject: [PATCH] relax a bit QuickCheck constraints on shuffle properties --- .../test/unit/Cardano/Wallet/Primitive/CoinSelectionSpec.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/core/test/unit/Cardano/Wallet/Primitive/CoinSelectionSpec.hs b/lib/core/test/unit/Cardano/Wallet/Primitive/CoinSelectionSpec.hs index 6c6298b769d..ca93cdbdedb 100644 --- a/lib/core/test/unit/Cardano/Wallet/Primitive/CoinSelectionSpec.hs +++ b/lib/core/test/unit/Cardano/Wallet/Primitive/CoinSelectionSpec.hs @@ -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] @@ -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]