genByron stash

cardano-scaling · Dec 7, 2024 · d2dfd1b · d2dfd1b
1 parent e1345e0
commit d2dfd1b
Show file tree

Hide file tree

Showing 4 changed files with 67 additions and 74 deletions.
diff --git a/cabal.project b/cabal.project
@@ -12,8 +12,8 @@ repository cardano-haskell-packages
 
 -- See CONTRIBUTING.md for information about when and how to update these.
 index-state:
-  , hackage.haskell.org 2024-11-12T16:26:18Z
-  , cardano-haskell-packages 2024-11-12T08:40:13Z
+  , hackage.haskell.org 2024-11-22T14:59:16Z
+  , cardano-haskell-packages 2024-12-05T13:51:16Z
 
 packages:
   hydra-prelude

diff --git a/flake.lock b/flake.lock
diff --git a/hydra-node/test/Hydra/Chain/Direct/StateSpec.hs b/hydra-node/test/Hydra/Chain/Direct/StateSpec.hs
@@ -121,7 +121,8 @@ import Hydra.Tx.Utils (dummyValidatorScript, splitUTxO)
 import PlutusLedgerApi.V3 qualified as Plutus
 import Test.Aeson.GenericSpecs (roundtripAndGoldenSpecs)
 import Test.Hydra.Tx.Fixture (slotLength, systemStart, testNetworkId)
-import Test.Hydra.Tx.Gen (genOutput, genTxOut, genTxOutAdaOnly, genTxOutByron, genUTxO1, genUTxOSized)
+import Test.Gen.Cardano.Api.Typed (genTxOutByron)
+import Test.Hydra.Tx.Gen (genOutput, genTxOut, genTxOutAdaOnly, genUTxO1, genUTxOSized)
 import Test.Hydra.Tx.Mutation (
   Mutation (..),
   applyMutation,
@@ -273,7 +274,7 @@ spec = parallel $ do
       monadicST $ do
         hctx <- pickBlind $ genHydraContext maximumNumberOfParties
         (ctx, stInitial@InitialState{headId}) <- pickBlind $ genStInitial hctx
-        utxo <- pick $ genUTxO1 genTxOutByron
+        utxo <- pick $ genUTxO1 (hedgehog genTxOutByron)
         pure $
           case commit ctx headId (getKnownUTxO stInitial) utxo of
             Left UnsupportedLegacyOutput{} -> property True

diff --git a/hydra-tx/testlib/Test/Hydra/Tx/Gen.hs b/hydra-tx/testlib/Test/Hydra/Tx/Gen.hs
@@ -77,14 +77,6 @@ genTxOut =
   noRefScripts out =
     out{txOutReferenceScript = ReferenceScriptNone}
 
--- | Generate a 'TxOut' with a byron address. This is usually not supported by
--- Hydra or Plutus.
-genTxOutByron :: Gen (TxOut ctx)
-genTxOutByron = do
-  addr <- ByronAddressInEra <$> arbitrary
-  value <- genValue
-  pure $ TxOut addr value TxOutDatumNone ReferenceScriptNone
-
 -- | Generate an ada-only 'TxOut' payed to an arbitrary public key.
 genTxOutAdaOnly :: VerificationKey PaymentKey -> Gen (TxOut ctx)
 genTxOutAdaOnly vk = do