Added txInfoSpec tests to Dijkstra

Author: Soupstraw

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

@@ -8,7 +8,7 @@
 {-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE TypeOperators #-}
 
-module Test.Cardano.Ledger.Babbage.TxInfoSpec (txInfoSpecV2, spec) where
+module Test.Cardano.Ledger.Babbage.TxInfoSpec (txInfoSpec, spec) where
 
 import Cardano.Ledger.Address (Addr (..))
 import Cardano.Ledger.Alonzo.Plutus.Context (
@@ -35,7 +35,7 @@ import Cardano.Ledger.Credential (StakeReference (..))
 import Cardano.Ledger.Hashes (unsafeMakeSafeHash)
 import Cardano.Ledger.Mary.Value (MaryValue)
 import Cardano.Ledger.Plutus.Data (Data (..), Datum (..), dataToBinaryData)
-import Cardano.Ledger.Plutus.Language (Language (..), SLanguage (..))
+import Cardano.Ledger.Plutus.Language (Language (..), SLanguage (..), plutusLanguage)
 import Cardano.Ledger.State (UTxO (..))
 import Cardano.Ledger.TxIn (TxId (..), TxIn (..), mkTxInPartial)
 import Cardano.Slotting.EpochInfo (EpochInfo, fixedEpochInfo)
@@ -314,7 +314,7 @@ txInfoSpecV1 =
         (txBare shelleyInput inlineDatumOutput)
         (inject $ InlineDatumsNotSupported @era (TxOutFromOutput minBound))
 
-txInfoSpecV2 ::
+txInfoSpec ::
   forall era l.
   ( EraTx era
   , EraPlutusTxInfo l era
@@ -327,7 +327,7 @@ txInfoSpecV2 ::
   ) =>
   SLanguage l ->
   Spec
-txInfoSpecV2 lang =
+txInfoSpec lang =
   describe (show lang) $ do
     it "translation error on byron txout" $
       expectTranslationError @era
@@ -344,11 +344,13 @@ txInfoSpecV2 lang =
         lang
         (txBare unknownInput shelleyOutput)
         (inject $ AlonzoContextError $ TranslationLogicMissingInput @era unknownInput)
-    it "use reference input starting in Babbage" $
-      successfulTranslation @era
-        lang
-        (txRefInput shelleyInput)
-        hasReferenceInput
+    -- This test will fail in PlutusV3 because of ReferenceInputsNotDisjointFromInputs
+    when (plutusLanguage lang == PlutusV2) $
+      it "use reference input starting in Babbage" $
+        successfulTranslation @era
+          lang
+          (txRefInput shelleyInput)
+          hasReferenceInput
     it "use inline datum in input" $
       successfulTranslation @era
         lang
@@ -389,7 +391,7 @@ spec ::
 spec =
   describe "txInfo translation" $ do
     txInfoSpecV1 @era
-    txInfoSpecV2 @era SPlutusV2
+    txInfoSpec @era SPlutusV2
 
 genesisId :: TxId
 genesisId = TxId (unsafeMakeSafeHash (mkDummyHash (0 :: Int)))

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

@@ -121,4 +121,5 @@ spec =
     describe "TxInfo" $ do
       TxInfo.spec @era
       BabbageTxInfo.spec @era
-      describe "PlutusV3" $ BabbageTxInfo.txInfoSpecV2 @era SPlutusV3
+      describe "PlutusV3" $
+        BabbageTxInfo.txInfoSpec @era SPlutusV3

eras/dijkstra/impl/cardano-ledger-dijkstra.cabal

@@ -194,7 +194,7 @@ test-suite tests
 
   build-depends:
     base,
-    cardano-ledger-core:testlib,
-    cardano-ledger-dijkstra:{cardano-ledger-dijkstra, testlib},
     cardano-ledger-babbage:testlib,
+    cardano-ledger-core:{cardano-ledger-core, testlib},
+    cardano-ledger-dijkstra:{cardano-ledger-dijkstra, testlib},
     cardano-ledger-shelley:testlib,

eras/dijkstra/impl/test/Main.hs

@@ -4,14 +4,16 @@ module Main where
 
 import Cardano.Ledger.Dijkstra (DijkstraEra)
 import Cardano.Ledger.Dijkstra.Rules ()
+import Cardano.Ledger.Plutus (SLanguage (..))
+import Test.Cardano.Ledger.Babbage.TxInfoSpec (txInfoSpec)
+import qualified Test.Cardano.Ledger.Babbage.TxInfoSpec as BabbageTxInfo
 import Test.Cardano.Ledger.Common
 import Test.Cardano.Ledger.Dijkstra.Binary.Annotator ()
 import Test.Cardano.Ledger.Dijkstra.Binary.RoundTrip ()
 import qualified Test.Cardano.Ledger.Dijkstra.GoldenSpec as GoldenSpec
 import qualified Test.Cardano.Ledger.Dijkstra.Imp as Imp
 import Test.Cardano.Ledger.Dijkstra.ImpTest ()
 import Test.Cardano.Ledger.Shelley.JSON (roundTripJsonShelleyEraSpec)
-import qualified Test.Cardano.Ledger.Babbage.TxInfoSpec as BabbageTxInfo
 
 main :: IO ()
 main =
@@ -23,3 +25,5 @@ main =
         Imp.spec @DijkstraEra
       describe "TxInfo" $ do
         BabbageTxInfo.spec @DijkstraEra
+        txInfoSpec @DijkstraEra SPlutusV3
+        txInfoSpec @DijkstraEra SPlutusV4