WIP - Add SPORatifySpec property tests

IntersectMBO · Oct 24, 2024 · d7e9320 · d7e9320
1 parent 9c86ee1
commit d7e9320
Show file tree

Hide file tree

Showing 3 changed files with 450 additions and 0 deletions.
diff --git a/eras/conway/impl/cardano-ledger-conway.cabal b/eras/conway/impl/cardano-ledger-conway.cabal
@@ -218,6 +218,7 @@ test-suite tests
         Test.Cardano.Ledger.Conway.GenesisSpec
         Test.Cardano.Ledger.Conway.GovActionReorderSpec
         Test.Cardano.Ledger.Conway.Plutus.PlutusSpec
+        Test.Cardano.Ledger.Conway.SPORatifySpec
         Test.Cardano.Ledger.Conway.TxInfoSpec
         Test.Cardano.Ledger.Conway.GoldenTranslation
         Paths_cardano_ledger_conway

diff --git a/eras/conway/impl/test/Main.hs b/eras/conway/impl/test/Main.hs
@@ -17,6 +17,7 @@ import qualified Test.Cardano.Ledger.Conway.GovActionReorderSpec as GovActionReo
 import qualified Test.Cardano.Ledger.Conway.Imp as Imp
 import Test.Cardano.Ledger.Conway.Plutus.PlutusSpec as PlutusSpec
 import qualified Test.Cardano.Ledger.Conway.Proposals as Proposals
+import qualified Test.Cardano.Ledger.Conway.SPORatifySpec as SPORatifySpec
 import qualified Test.Cardano.Ledger.Conway.Spec as Spec
 import qualified Test.Cardano.Ledger.Conway.TxInfoSpec as TxInfo
 import Test.Cardano.Ledger.Core.JSON (roundTripJsonEraSpec)
@@ -32,6 +33,7 @@ main =
       Cddl.spec
       DRepRatify.spec
       CommitteeRatify.spec
+      SPORatifySpec.spec
       Genesis.spec
       GovActionReorder.spec
       roundTripJsonEraSpec @Conway