WIP

Author: jorisdral

test/Test/Database/LSMTree/UnitTests.hs

@@ -35,7 +35,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 +218,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 :: Property
+unit_union_blobref_invalidation = ioProperty $
     withTempIOHasBlockIO "test" $ \hfs hbio ->
     withOpenSession nullTracer hfs hbio testSalt (FS.mkFsPath []) $ \sess ->
     withTableWith config sess $ \t1 -> do