Add a task that resulted from writing the deliverable D.1.3

input-output-hk · May 4, 2021 · 89ce298 · 89ce298
1 parent 60b0293
commit 89ce298
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/executable-spec/test/Test/Cardano/Ledger/Update/Properties/StateChangeValidity.hs b/executable-spec/test/Test/Cardano/Ledger/Update/Properties/StateChangeValidity.hs
@@ -439,7 +439,14 @@ updateEventTransitionsForUpdateSpecAreValid updateSpec trace = do
                        (E BeingEndorsed fragment') = do
       -- The current protocol version must be the version that the update
       -- proposal supersedes.
+      --
+      -- todo: why aren't we checking this as well?
+      -- getCurrentProtocolVersion (firstState fragment')
+      --   ==! supersedesVersion (getProtocol updateSpec)
+      -- getCurrentProtocolId (firstState fragment')
+      --   ==! supersedesId (getProtocol updateSpec)
       supersedesId (getProtocol updateSpec) ==! _id (getCurrentProtocol st')
+
       -- All the queued proposals must have a version higher than this proposal.
       forall
         (candidatesIn fragment' `withIdDifferentFrom` updateSpec)