@@ -225,8 +225,6 @@ properties = do
225225 (property . prop_putLastMetadataGCReadLastMetadataGC)
226226 it " putDelistedPools >> readDelistedPools shows the pool as delisted"
227227 (property . prop_putDelistedPools)
228- it " delisting a pools persists even if a new certificate is registered"
229- (property . prop_putDelistedPoolsPersists)
230228
231229{- ------------------------------------------------------------------------------
232230 Properties
@@ -1502,39 +1500,6 @@ prop_putDelistedPools DBLayer {..} pools1 pools2 =
15021500 assertWith " poolsToMarkAsDelisted == poolsActuallyDelisted"
15031501 $ poolsToMarkAsDelisted == poolsActuallyDelisted
15041502
1505- prop_putDelistedPoolsPersists
1506- :: DBLayer IO
1507- -> (CertificatePublicationTime , PoolRegistrationCertificate )
1508- -> Property
1509- prop_putDelistedPoolsPersists DBLayer {.. } cert =
1510- monadicIO (setup >> prop)
1511- where
1512- setup = run $ atomically cleanDB
1513- prop = do
1514- run $ atomically $ uncurry putPoolRegistration cert
1515-
1516- let poolid = view # poolId . snd $ cert
1517- -- delist pool
1518- run $ atomically $ putDelistedPools [poolid]
1519- delisted <- run $ atomically readDelistedPools
1520- let expected = [poolid]
1521- assertWith " expected == delisted"
1522- $ expected == delisted
1523-
1524- -- insert the cert again
1525- run $ atomically
1526- $ uncurry putPoolRegistration cert
1527- delistedAgain <- run $ atomically readDelistedPools
1528-
1529- monitor $ counterexample $ unlines
1530- [ " Expected: "
1531- , show (Just expected)
1532- , " Read from DB: "
1533- , show delistedAgain
1534- ]
1535- assertWith " expected == delisted"
1536- $ expected == delistedAgain
1537-
15381503descSlotsPerPool :: Map PoolId [BlockHeader ] -> Expectation
15391504descSlotsPerPool pools = do
15401505 let checkIfDesc slots =
0 commit comments