Bumped spec

Co-authored-by: teodanciu <[email protected]>
IntersectMBO · Jan 31, 2025 · aaf715e · aaf715e
1 parent bc10beb
commit aaf715e
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 5 deletions.
diff --git a/cabal.project b/cabal.project
@@ -24,8 +24,8 @@ source-repository-package
   -- !WARNING!:
   -- MAKE SURE THIS POINTS TO A COMMIT IN `MAlonzo-code` BEFORE MERGE!
   subdir: generated
-  --sha256: sha256-CebCHTM0lvIAJ5lx0LRcMEDeU4nGVWJlkvhJPE5tI9Y=
-  tag: 0f9eb79886f4d45a2cbb241af49b9e199735bd37
+  --sha256: sha256-J6Sbrr9Klz3N72wT2ZF02z5G6iFHjpwfUH2pFVoJr3c=
+  tag: 511c5632eff71f4811b48fba71e7aaadfd69211a
 
 -- NOTE: If you would like to update the above, look for the `MAlonzo-code`
 -- branch in the `formal-ledger-specifications` repo and copy the SHA of

diff --git a/eras/conway/impl/testlib/Test/Cardano/Ledger/Conway/Imp/GovSpec.hs b/eras/conway/impl/testlib/Test/Cardano/Ledger/Conway/Imp/GovSpec.hs
@@ -869,6 +869,13 @@ votingSpec =
             . constitutionAnchorL
       expectNoCurrentProposals
       conAnchor `shouldNotBe` anchor
+    it "can submit SPO votes" $ do
+      spoHash <- freshKeyHash
+      registerPool spoHash
+      passNEpochs 3
+      gaId <- submitParameterChange SNothing $ def
+        & ppuMinFeeAL .~ SJust (Coin 100)
+      submitVote_ @era VoteYes (StakePoolVoter spoHash) gaId
 
 constitutionSpec ::
   forall era.

diff --git a/...rdano-ledger-conformance/src/Test/Cardano/Ledger/Conformance/SpecTranslate/Conway/Pool.hs b/...rdano-ledger-conformance/src/Test/Cardano/Ledger/Conformance/SpecTranslate/Conway/Pool.hs
@@ -13,7 +13,6 @@ import Cardano.Ledger.CertState
 import Cardano.Ledger.Core
 import Cardano.Ledger.PoolParams
 import Cardano.Ledger.Shelley.Rules
-import Data.Map.Strict (mapKeys)
 import qualified Lib as Agda
 import Test.Cardano.Ledger.Conformance
 import Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base ()
@@ -38,8 +37,8 @@ instance SpecTranslate ctx (PState era) where
 
   toSpecRep PState {..} =
     Agda.MkPState
-      <$> toSpecRep (mapKeys (hashToInteger . unKeyHash) psStakePoolParams)
-      <*> toSpecRep (mapKeys (hashToInteger . unKeyHash) psRetiring)
+      <$> toSpecRep psStakePoolParams
+      <*> toSpecRep psRetiring
 
 instance SpecTranslate ctx PoolCert where
   type SpecRep PoolCert = Agda.DCert