Adjust Babbage UtxowSpec for Dijkstra era

* Move tests that are reliant on certs w/out deposits and only run them pre-Dijkstra

Author: Lucsanszky

eras/babbage/impl/testlib/Test/Cardano/Ledger/Babbage/Imp.hs

@@ -54,4 +54,6 @@ spec = do
     Utxos.spec @era
 
 instance EraSpecificSpec BabbageEra where
-  eraSpecific = AlonzoUtxow.shelleyCertsSpec
+  eraSpecific =
+    AlonzoUtxow.shelleyCertsSpec
+      >> Utxow.shelleyCertsSpec

eras/babbage/impl/testlib/Test/Cardano/Ledger/Babbage/Imp/UtxowSpec.hs

@@ -4,11 +4,11 @@
 {-# LANGUAGE OverloadedStrings #-}
 {-# LANGUAGE ScopedTypeVariables #-}
 
-module Test.Cardano.Ledger.Babbage.Imp.UtxowSpec (spec) where
+module Test.Cardano.Ledger.Babbage.Imp.UtxowSpec (spec, shelleyCertsSpec) where
 
 import Cardano.Ledger.Alonzo.Plutus.Context (ContextError)
 import Cardano.Ledger.Alonzo.Rules (AlonzoUtxosPredFailure, AlonzoUtxowPredFailure)
-import Cardano.Ledger.Babbage.Core (BabbageEraTxBody, InjectRuleFailure)
+import Cardano.Ledger.Babbage.Core (BabbageEraTxBody, InjectRuleFailure, ShelleyEraTxCert)
 import Cardano.Ledger.Babbage.Rules (BabbageUtxowPredFailure)
 import Cardano.Ledger.Babbage.TxInfo (BabbageContextError)
 import Cardano.Ledger.BaseTypes (Inject)
@@ -33,3 +33,14 @@ spec = do
   describe "UTXOW" $ do
     Valid.spec
     Invalid.spec
+
+shelleyCertsSpec ::
+  forall era.
+  ( AlonzoEraImp era
+  , BabbageEraTxBody era
+  , ShelleyEraTxCert era
+  ) =>
+  SpecWith (ImpInit (LedgerSpec era))
+shelleyCertsSpec = do
+  describe "UTXOW - certificates without deposits" $ do
+    Valid.shelleyCertsSpec

eras/babbage/impl/testlib/Test/Cardano/Ledger/Babbage/Imp/UtxowSpec/Valid.hs

@@ -3,7 +3,7 @@
 {-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE TypeApplications #-}
 
-module Test.Cardano.Ledger.Babbage.Imp.UtxowSpec.Valid (spec) where
+module Test.Cardano.Ledger.Babbage.Imp.UtxowSpec.Valid (spec, shelleyCertsSpec) where
 
 import Cardano.Ledger.Alonzo.TxWits (unTxDatsL)
 import Cardano.Ledger.Babbage.Core
@@ -171,6 +171,17 @@ spec = describe "Valid" $ do
                 & bodyTxL . inputsTxBodyL .~ [txInAt 0 txInitial]
                 & bodyTxL . referenceInputsTxBodyL .~ [txInAt 1 txInitial]
 
+shelleyCertsSpec ::
+  forall era.
+  ( AlonzoEraImp era
+  , BabbageEraTxBody era
+  , ShelleyEraTxCert era
+  ) =>
+  SpecWith (ImpInit (LedgerSpec era))
+shelleyCertsSpec = describe "Valid" $ do
+  forM_ @[] [PlutusV2 .. eraMaxLanguage @era] $ \slang -> do
+    describe (show slang) $ do
+      withSLanguage slang $ \lang -> do
         it "Use a reference script to authorize a delegation certificate" $ do
           addr <- freshKeyAddr_
           plutus <- mkPlutusScript $ alwaysSucceedsNoDatum lang

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

@@ -58,7 +58,7 @@ import qualified Test.Cardano.Ledger.Conway.Imp.LedgerSpec as Ledger
 import qualified Test.Cardano.Ledger.Conway.Imp.RatifySpec as Ratify
 import qualified Test.Cardano.Ledger.Conway.Imp.UtxoSpec as Utxo
 import qualified Test.Cardano.Ledger.Conway.Imp.UtxosSpec as Utxos
--- import qualified Test.Cardano.Ledger.Conway.Imp.UtxowSpec as Utxow
+import qualified Test.Cardano.Ledger.Conway.Imp.UtxowSpec as Utxow
 import Test.Cardano.Ledger.Conway.ImpTest (
   ConwayEraImp,
   LedgerSpec,
@@ -151,8 +151,7 @@ conwayEraGenericSpec = do
   describe "RATIFY" Ratify.spec
   describe "UTXO" Utxo.spec
   describe "UTXOS" Utxos.spec
-
--- describe "UTXOW" Utxow.spec
+  describe "UTXOW" Utxow.spec
 
 conwayEraSpecificSpec ::
   ( ConwayEraImp era

eras/dijkstra/testlib/Test/Cardano/Ledger/Dijkstra/Imp.hs

@@ -17,6 +17,7 @@ import Cardano.Ledger.Conway.Rules
 import Cardano.Ledger.Conway.TxInfo
 import Cardano.Ledger.Dijkstra (DijkstraEra)
 import Cardano.Ledger.Dijkstra.Core
+import Cardano.Ledger.Plutus
 import Cardano.Ledger.Shelley.API
 import Cardano.Ledger.Shelley.Rules
 import Data.Typeable (Typeable)
@@ -43,6 +44,7 @@ spec ::
   , InjectRuleFailure "LEDGER" ConwayGovCertPredFailure era
   , InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era
   , InjectRuleFailure "LEDGER" ConwayUtxoPredFailure era
+  , InjectRuleFailure "LEDGER" ConwayUtxowPredFailure era
   , InjectRuleFailure "BBODY" ConwayBbodyPredFailure era
   , InjectRuleEvent "TICK" ConwayEpochEvent era
   , Event (EraRule "EPOCH" era) ~ ConwayEpochEvent era
@@ -54,6 +56,7 @@ spec ::
   , Eq (Event (EraRule "ENACT" era))
   , Typeable (Event (EraRule "ENACT" era))
   , ToExpr (Event (EraRule "BBODY" era))
+  , EraPlutusTxInfo PlutusV2 era
   ) =>
   Spec
 spec = ConwayImp.spec @era