Remove AlonzoValidTxUTXOW test module

Author: neilmayhew

libs/cardano-ledger-test/cardano-ledger-test.cabal

@@ -82,7 +82,6 @@ library
     Test.Cardano.Ledger.Examples.AlonzoAPI
     Test.Cardano.Ledger.Examples.AlonzoBBODY
     Test.Cardano.Ledger.Examples.AlonzoCollectInputs
-    Test.Cardano.Ledger.Examples.AlonzoValidTxUTXOW
     Test.Cardano.Ledger.Examples.BabbageFeatures
     Test.Cardano.Ledger.Examples.STSTestUtils
     Test.Cardano.Ledger.Generic.AggPropTests

libs/cardano-ledger-test/src/Test/Cardano/Ledger/Examples/AlonzoAPI.hs

@@ -24,9 +24,9 @@ import Cardano.Ledger.SafeHash (hashAnnotated)
 import Cardano.Ledger.Tools (estimateMinFeeTx)
 import qualified PlutusLedgerApi.V1 as PV1
 import Test.Cardano.Ledger.Core.KeyPair (mkWitnessVKey)
-import Test.Cardano.Ledger.Examples.AlonzoValidTxUTXOW (mkSingleRedeemer)
 import Test.Cardano.Ledger.Examples.STSTestUtils (
   mkGenesisTxIn,
+  mkSingleRedeemer,
   mkTxDats,
   someAddr,
   someKeys,

libs/cardano-ledger-test/src/Test/Cardano/Ledger/Examples/AlonzoBBODY.hs

@@ -78,12 +78,12 @@ import qualified Data.Sequence.Strict as StrictSeq
 import Lens.Micro ((&), (.~))
 import qualified PlutusLedgerApi.V1 as PV1
 import Test.Cardano.Ledger.Core.KeyPair (KeyPair (..), mkAddr, mkWitnessVKey)
-import Test.Cardano.Ledger.Examples.AlonzoValidTxUTXOW (mkSingleRedeemer)
 import Test.Cardano.Ledger.Examples.STSTestUtils (
   alwaysFailsHash,
   alwaysSucceedsHash,
   initUTxO,
   mkGenesisTxIn,
+  mkSingleRedeemer,
   mkTxDats,
   someAddr,
   someKeys,

libs/cardano-ledger-test/src/Test/Cardano/Ledger/Examples/AlonzoValidTxUTXOW.hs

@@ -16,6 +16,7 @@ module Test.Cardano.Ledger.Examples.STSTestUtils (
   initUTxO,
   mkGenesisTxIn,
   mkTxDats,
+  mkSingleRedeemer,
   someAddr,
   someKeys,
   someScriptAddr,
@@ -39,11 +40,12 @@ import Cardano.Ledger.Alonzo.Rules (
   AlonzoUtxosPredFailure (..),
   AlonzoUtxowPredFailure (..),
  )
+import Cardano.Ledger.Alonzo.Scripts (ExUnits (..))
 import Cardano.Ledger.Alonzo.Tx (
   AlonzoTx (..),
   IsValid (..),
  )
-import Cardano.Ledger.Alonzo.TxWits (TxDats (..))
+import Cardano.Ledger.Alonzo.TxWits (Redeemers, TxDats (..))
 import Cardano.Ledger.BHeaderView (BHeaderView (..))
 import Cardano.Ledger.Babbage.Rules (BabbageUtxoPredFailure (..))
 import Cardano.Ledger.Babbage.Rules as Babbage (BabbageUtxowPredFailure (..))
@@ -80,6 +82,7 @@ import GHC.Stack
 import qualified PlutusLedgerApi.V1 as PV1
 import Test.Cardano.Ledger.Core.KeyPair (KeyPair (..), mkAddr)
 import Test.Cardano.Ledger.Generic.Fields (TxOutField (..))
+import Test.Cardano.Ledger.Generic.GenState (PlutusPurposeTag, mkRedeemersFromTags)
 import Test.Cardano.Ledger.Generic.PrettyCore (PrettyA (..))
 import Test.Cardano.Ledger.Generic.Proof
 import Test.Cardano.Ledger.Generic.Scriptic (PostShelley, Scriptic (..), after, matchkey)
@@ -210,6 +213,10 @@ mkGenesisTxIn = TxIn genesisId . mkTxIxPartial
 mkTxDats :: Era era => Data era -> TxDats era
 mkTxDats d = TxDats $ Map.singleton (hashData d) d
 
+mkSingleRedeemer :: Proof era -> PlutusPurposeTag -> Data era -> Redeemers era
+mkSingleRedeemer proof tag datum =
+  mkRedeemersFromTags proof [((tag, 0), (datum, ExUnits 5000 5000))]
+
 trustMeP :: Proof era -> Bool -> Tx era -> Tx era
 trustMeP Alonzo iv' (AlonzoTx b w _ m) = AlonzoTx b w (IsValid iv') m
 trustMeP Babbage iv' (AlonzoTx b w _ m) = AlonzoTx b w (IsValid iv') m

libs/cardano-ledger-test/src/Test/Cardano/Ledger/Examples/STSTestUtils.hs

@@ -20,7 +20,6 @@ import Test.Cardano.Ledger.Constrained.Trace.Tests (conwayTrace, conwayTxwithDRe
 import qualified Test.Cardano.Ledger.Examples.AlonzoAPI as AlonzoAPI (tests)
 import qualified Test.Cardano.Ledger.Examples.AlonzoBBODY as AlonzoBBODY (tests)
 import qualified Test.Cardano.Ledger.Examples.AlonzoCollectInputs as AlonzoCollectInputs (tests)
-import qualified Test.Cardano.Ledger.Examples.AlonzoValidTxUTXOW as AlonzoValidTxUTXOW (tests)
 import Test.Cardano.Ledger.Examples.BabbageFeatures (babbageFeatures)
 import Test.Cardano.Ledger.Generic.AggPropTests (aggTests, depositTests)
 import qualified Test.Cardano.Ledger.Generic.PrettyTest as Pretty
@@ -53,7 +52,6 @@ defaultTests =
   , testGroup
       "STS Tests"
       [ babbageFeatures
-      , AlonzoValidTxUTXOW.tests
       , AlonzoBBODY.tests
       , AlonzoAPI.tests
       , AlonzoCollectInputs.tests