Add Upgrade spec for Dijkstra

Author: teodanciu

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

@@ -1,7 +1,9 @@
 {-# LANGUAGE FlexibleInstances #-}
 {-# OPTIONS_GHC -Wno-orphans #-}
 
-module Test.Cardano.Ledger.Dijkstra.TreeDiff () where
+module Test.Cardano.Ledger.Dijkstra.TreeDiff (
+  module Test.Cardano.Ledger.Conway.TreeDiff,
+) where
 
 import Cardano.Ledger.Dijkstra (DijkstraEra)
 import Cardano.Ledger.Dijkstra.Core (EraTxBody (..), PlutusScript)

libs/cardano-ledger-api/cardano-ledger-api.cabal

@@ -139,6 +139,7 @@ test-suite cardano-ledger-api-test
     cardano-ledger-byron,
     cardano-ledger-conway:{cardano-ledger-conway, testlib},
     cardano-ledger-core:{cardano-ledger-core, testlib},
+    cardano-ledger-dijkstra:{cardano-ledger-dijkstra, testlib},
     cardano-ledger-mary:{cardano-ledger-mary, testlib},
     cardano-ledger-shelley:{cardano-ledger-shelley, testlib},
     cardano-slotting:testlib,

libs/cardano-ledger-api/test/Tests.hs

@@ -8,6 +8,7 @@ import Cardano.Ledger.Alonzo (AlonzoEra)
 import Cardano.Ledger.Babbage (BabbageEra)
 import Cardano.Ledger.Conway (ConwayEra)
 import Cardano.Ledger.Core
+import Cardano.Ledger.Dijkstra (DijkstraEra)
 import Cardano.Ledger.Mary (MaryEra)
 import Data.Default (def)
 import Test.Cardano.Ledger.Allegra.Binary.Annotator ()
@@ -21,6 +22,8 @@ import Test.Cardano.Ledger.Api.Upgrade (BinaryUpgradeOpts (..))
 import qualified Test.Cardano.Ledger.Api.Upgrade as Upgrade
 import Test.Cardano.Ledger.Babbage.Binary.Annotator ()
 import Test.Cardano.Ledger.Conway.Binary.Annotator ()
+import Test.Cardano.Ledger.Dijkstra.Binary.Annotator ()
+import Test.Cardano.Ledger.Dijkstra.TreeDiff ()
 import Test.Cardano.Ledger.Imp.Common
 import Test.Cardano.Ledger.Mary.Binary.Annotator ()
 import Test.Cardano.Ledger.Shelley.ImpTest (LedgerSpec, modifyImpInitProtVer)
@@ -51,6 +54,7 @@ apiSpec =
       Upgrade.spec @AlonzoEra (BinaryUpgradeOpts False False)
       Upgrade.spec @BabbageEra def
       Upgrade.spec @ConwayEra def
+      Upgrade.spec @DijkstraEra def
 
 main :: IO ()
 main = ledgerTestMain apiSpec