[69] Use property in WalletLayerSpec

cardano-foundation · Mar 21, 2019 · 5930605 · 5930605
1 parent bdc5c9c
commit 5930605
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git a/test/unit/Cardano/DBLayer/MVarSpec.hs b/test/unit/Cardano/DBLayer/MVarSpec.hs
@@ -129,8 +129,8 @@ deriving instance Show (PrimaryKey WalletId)
 instance Arbitrary (PrimaryKey WalletId) where
     -- No shrinking
     arbitrary = do
-        fiftyInts <- vectorOf 10 $ choose (0 :: Int, 9)
-        let key = (T.pack . show) fiftyInts
+        nums <- vectorOf 10 $ choose (0 :: Int, 9)
+        let key = (T.pack . show) nums
         fmap PrimaryKey $ WalletId <$> pure key
 
 toWalletState

diff --git a/test/unit/Cardano/WalletLayerSpec.hs b/test/unit/Cardano/WalletLayerSpec.hs
@@ -54,8 +54,8 @@ import Test.QuickCheck
     , InfiniteList (..)
     , Property
     , arbitraryBoundedEnum
-    , checkCoverage
     , choose
+    , property
     , vectorOf
     )
 import Test.QuickCheck.Monadic
@@ -72,13 +72,13 @@ spec :: Spec
 spec = do
     describe "WalletLayer works as expected" $ do
         it "Wallet upon creation is written down in db"
-            (checkCoverage walletCreationProp)
+            (property walletCreationProp)
         it "Wallet cannot be created more than once"
-            (checkCoverage walletDoubleCreationProp)
+            (property walletDoubleCreationProp)
         it "Wallet after being created can be got using valid wallet Id"
-            (checkCoverage walletGetProp)
+            (property walletGetProp)
         it "Wallet with wrong wallet Id cannot be got"
-            (checkCoverage walletGetWrongIdProp)
+            (property walletGetWrongIdProp)
 
 
 {-------------------------------------------------------------------------------