WIP

Author: jorisdral

test/Test/Database/LSMTree/UnitTests.hs

@@ -17,10 +17,11 @@ import           Database.LSMTree as R
 import           Database.LSMTree.Extras.Generators ()
 import           Database.LSMTree.Internal.Serialise (SerialisedKey)
 import qualified System.FS.API as FS
-import qualified Test.QuickCheck.Arbitrary as QC
+import qualified Test.QuickCheck as QC
 import qualified Test.QuickCheck.Gen as QC
 import           Test.Tasty (TestTree, testGroup)
 import           Test.Tasty.HUnit
+import           Test.Tasty.QuickCheck
 import           Test.Util.FS (withTempIOHasBlockIO)
 
 
@@ -35,7 +36,7 @@ tests =
       , testCase      "unit_unions_1"       unit_unions_1
       , testCase      "unit_union_credits"  unit_union_credits
       , testCase      "unit_union_credit_0" unit_union_credit_0
-      , testCase      "unit_union_blobref_invalidation" unit_union_blobref_invalidation
+      , testProperty  "unit_union_blobref_invalidation" unit_union_blobref_invalidation
       ]
 
 testSalt :: R.Salt
@@ -218,8 +219,8 @@ unit_union_credit_0 =
 
 -- | Blob refs into a union don't get invalidated when updating the union's
 -- input tables.
-unit_union_blobref_invalidation :: Assertion
-unit_union_blobref_invalidation =
+unit_union_blobref_invalidation :: QC.Property
+unit_union_blobref_invalidation = QC.ioProperty $
     withTempIOHasBlockIO "test" $ \hfs hbio ->
     withOpenSession nullTracer hfs hbio testSalt (FS.mkFsPath []) $ \sess ->
     withTableWith config sess $ \t1 -> do