WIP - GovCertSpec

Author: Lucsanszky

eras/conway/impl/testlib/Test/Cardano/Ledger/Conway/Imp.hs

@@ -46,7 +46,7 @@ import qualified Test.Cardano.Ledger.Conway.Imp.CertsSpec as Certs
 import qualified Test.Cardano.Ledger.Conway.Imp.DelegSpec as Deleg
 import qualified Test.Cardano.Ledger.Conway.Imp.EnactSpec as Enact
 import qualified Test.Cardano.Ledger.Conway.Imp.EpochSpec as Epoch
--- import qualified Test.Cardano.Ledger.Conway.Imp.GovCertSpec as GovCert
+import qualified Test.Cardano.Ledger.Conway.Imp.GovCertSpec as GovCert
 import qualified Test.Cardano.Ledger.Conway.Imp.GovSpec as Gov
 -- import qualified Test.Cardano.Ledger.Conway.Imp.LedgerSpec as Ledger
 -- import qualified Test.Cardano.Ledger.Conway.Imp.RatifySpec as Ratify
@@ -135,8 +135,8 @@ conwaySpec = do
   describe "ENACT" Enact.spec
   describe "EPOCH" Epoch.spec
   describe "GOV" Gov.spec
+  describe "GOVCERT" GovCert.spec
 
--- describe "GOVCERT" GovCert.spec
 -- describe "LEDGER" Ledger.spec
 -- describe "RATIFY" Ratify.spec
 -- describe "UTXO" Utxo.spec

eras/conway/impl/testlib/Test/Cardano/Ledger/Conway/Imp/GovCertSpec.hs

@@ -26,7 +26,6 @@ import Test.Cardano.Ledger.Imp.Common
 spec ::
   forall era.
   ( ConwayEraImp era
-  , ShelleyEraTxCert era
   , InjectRuleFailure "LEDGER" ConwayGovCertPredFailure era
   , InjectRuleFailure "LEDGER" ConwayGovPredFailure era
   ) =>