Add property prop_determinePoolRegistrationStatus_differentPools.

lib/core/test/unit/Cardano/Pool/DB/Properties.hs

@@ -173,6 +173,9 @@ properties = do
         it "prop_determinePoolRegistrationStatus_neverRegistered" $
             (property . const
                 prop_determinePoolRegistrationStatus_neverRegistered)
+        it "prop_determinePoolRegistrationStatus_differentPools" $
+            (property . const
+                prop_determinePoolRegistrationStatus_differentPools)
 
 {-------------------------------------------------------------------------------
                                     Properties
@@ -623,6 +626,26 @@ prop_determinePoolRegistrationStatus_neverRegistered maybeRetData =
   where
     result = determinePoolRegistrationStatus Nothing maybeRetData
 
+prop_determinePoolRegistrationStatus_differentPools
+    :: forall certificatePublicationTime . (certificatePublicationTime ~ Int)
+    => (certificatePublicationTime, PoolRegistrationCertificate)
+    -> (certificatePublicationTime, PoolRetirementCertificate)
+    -> Property
+prop_determinePoolRegistrationStatus_differentPools regData retData =
+    property $ (regPoolId /= retPoolId) ==> prop
+  where
+    prop = evaluate result `shouldThrow` anyException
+
+    regPoolId = view #poolId regCert
+    retPoolId = view #poolId retCert
+
+    (regTime, regCert) = regData
+    (retTime, retCert) = retData
+
+    result = determinePoolRegistrationStatus
+        (pure (regTime, regCert))
+        (pure (retTime, retCert))
+
 descSlotsPerPool :: Map PoolId [BlockHeader] -> Expectation
 descSlotsPerPool pools = do
     let checkIfDesc slots =