Add test

Author: Soupstraw

eras/dijkstra/impl/CHANGELOG.md

@@ -2,6 +2,7 @@
 
 ## 0.2.0.0
 
+* Add `Test.Cardano.Ledger.Dijkstra.Imp.UtxoSpec`
 * Add `DijkstraUtxoPredFailure`
 * Add `DijkstraUTXO`
 * Add `requiredTopLevelGuardsDijkstraTxBodyRawL`

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

@@ -119,6 +119,7 @@ library testlib
     Test.Cardano.Ledger.Dijkstra.Era
     Test.Cardano.Ledger.Dijkstra.Examples
     Test.Cardano.Ledger.Dijkstra.Imp
+    Test.Cardano.Ledger.Dijkstra.Imp.UtxoSpec
     Test.Cardano.Ledger.Dijkstra.Imp.UtxowSpec
     Test.Cardano.Ledger.Dijkstra.ImpTest
     Test.Cardano.Ledger.Dijkstra.TreeDiff

eras/dijkstra/impl/src/Cardano/Ledger/Dijkstra/Rules/Ledger.hs

@@ -28,6 +28,7 @@ import Cardano.Ledger.Conway.Rules (
 import Cardano.Ledger.Dijkstra.Core (EraRuleEvent, EraRuleFailure, InjectRuleFailure (..))
 import Cardano.Ledger.Dijkstra.Era (DijkstraEra)
 import Cardano.Ledger.Dijkstra.Rules.Certs ()
+import Cardano.Ledger.Dijkstra.Rules.Utxo (DijkstraUtxoPredFailure)
 import Cardano.Ledger.Dijkstra.Rules.Utxow ()
 import Cardano.Ledger.Shelley.Rules (
   ShelleyLedgerPredFailure,
@@ -95,3 +96,6 @@ instance InjectRuleFailure "LEDGER" ConwayGovCertPredFailure DijkstraEra where
 
 instance InjectRuleFailure "LEDGER" ConwayGovPredFailure DijkstraEra where
   injectFailure = ConwayGovFailure
+
+instance InjectRuleFailure "LEDGER" DijkstraUtxoPredFailure DijkstraEra where
+  injectFailure = ConwayUtxowFailure . injectFailure

eras/dijkstra/impl/src/Cardano/Ledger/Dijkstra/Rules/Utxow.hs

@@ -23,7 +23,7 @@ import Cardano.Ledger.Conway.Rules (
  )
 import Cardano.Ledger.Dijkstra.Core (EraRuleEvent, EraRuleFailure, InjectRuleFailure (..))
 import Cardano.Ledger.Dijkstra.Era (DijkstraEra)
-import Cardano.Ledger.Dijkstra.Rules.Utxo ()
+import Cardano.Ledger.Dijkstra.Rules.Utxo (DijkstraUtxoPredFailure)
 import Cardano.Ledger.Shelley.Rules (ShelleyUtxoPredFailure, ShelleyUtxowPredFailure)
 
 type instance EraRuleFailure "UTXOW" DijkstraEra = ConwayUtxowPredFailure DijkstraEra
@@ -61,3 +61,6 @@ instance InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure DijkstraEra where
 
 instance InjectRuleFailure "UTXOW" AllegraUtxoPredFailure DijkstraEra where
   injectFailure = UtxoFailure . injectFailure
+
+instance InjectRuleFailure "UTXOW" DijkstraUtxoPredFailure DijkstraEra where
+  injectFailure = UtxoFailure

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

@@ -11,9 +11,11 @@ module Test.Cardano.Ledger.Dijkstra.Imp where
 import Cardano.Ledger.Conway.Rules
 import Cardano.Ledger.Dijkstra (DijkstraEra)
 import Cardano.Ledger.Dijkstra.Core
+import Cardano.Ledger.Dijkstra.Rules (DijkstraUtxoPredFailure)
 import Cardano.Ledger.Shelley.Rules
 import Test.Cardano.Ledger.Common
 import qualified Test.Cardano.Ledger.Conway.Imp as ConwayImp
+import qualified Test.Cardano.Ledger.Dijkstra.Imp.UtxoSpec as Utxo
 import qualified Test.Cardano.Ledger.Dijkstra.Imp.UtxowSpec as Utxow
 import Test.Cardano.Ledger.Dijkstra.ImpTest
 
@@ -24,6 +26,7 @@ spec ::
   , Event (EraRule "EPOCH" era) ~ ConwayEpochEvent era
   , Event (EraRule "NEWEPOCH" era) ~ ConwayNewEpochEvent era
   , Event (EraRule "HARDFORK" era) ~ ConwayHardForkEvent era
+  , InjectRuleFailure "LEDGER" DijkstraUtxoPredFailure era
   ) =>
   Spec
 spec = do
@@ -32,9 +35,12 @@ spec = do
 
 dijkstraEraGenericSpec ::
   forall era.
-  DijkstraEraImp era =>
+  ( DijkstraEraImp era
+  , InjectRuleFailure "LEDGER" DijkstraUtxoPredFailure era
+  ) =>
   SpecWith (ImpInit (LedgerSpec era))
 dijkstraEraGenericSpec = do
   describe "UTXOW" Utxow.spec
+  describe "UTXO" Utxo.spec
 
 instance EraSpecificSpec DijkstraEra

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

@@ -0,0 +1,50 @@
+{-# LANGUAGE DataKinds #-}
+{-# LANGUAGE FlexibleContexts #-}
+{-# LANGUAGE OverloadedLists #-}
+{-# LANGUAGE RankNTypes #-}
+
+module Test.Cardano.Ledger.Dijkstra.Imp.UtxoSpec (spec) where
+
+import Cardano.Ledger.Address (Addr (..))
+import Cardano.Ledger.BaseTypes (Inject (..), Network (..), StrictMaybe (..))
+import Cardano.Ledger.Coin (Coin (..))
+import Cardano.Ledger.Credential (Credential (..), StakeReference (..))
+import Cardano.Ledger.Dijkstra.Core (
+  BabbageEraTxBody (..),
+  EraTx (..),
+  EraTxBody (..),
+  EraTxOut (..),
+  InjectRuleFailure (..),
+ )
+import Cardano.Ledger.Dijkstra.Rules (DijkstraUtxoPredFailure (..))
+import Cardano.Ledger.Tools (ensureMinCoinTxOut)
+import Lens.Micro ((&), (.~))
+import Test.Cardano.Ledger.Dijkstra.ImpTest (
+  DijkstraEraImp,
+  ImpInit,
+  LedgerSpec,
+  freshKeyHash,
+  getsPParams,
+  submitFailingTx,
+ )
+import Test.Cardano.Ledger.Imp.Common (SpecWith, arbitrary, describe, it)
+
+spec ::
+  forall era.
+  ( DijkstraEraImp era
+  , InjectRuleFailure "LEDGER" DijkstraUtxoPredFailure era
+  ) =>
+  SpecWith (ImpInit (LedgerSpec era))
+spec =
+  describe "Collaterals" $ do
+    it "Fails to submit a transaction containing a Ptr in collateral return" $ do
+      cred <- KeyHashObj <$> freshKeyHash
+      ptr <- arbitrary
+      pp <- getsPParams id
+      let
+        ptrAddr = Addr Testnet cred (StakeRefPtr ptr)
+        ptrOutput = ensureMinCoinTxOut pp $ mkBasicTxOut ptrAddr . inject $ Coin 100
+        tx =
+          mkBasicTx mkBasicTxBody
+            & bodyTxL . collateralReturnTxBodyL .~ SJust ptrOutput
+      submitFailingTx tx [injectFailure $ PtrPresentInCollateral ptrOutput]