Skip to content

Commit e9efa95

Browse files
SoupstrawSoupstraw
committed
Move Test.Cardano.Ledger.Core.Binary.Golden to cardano-ledger-binary
1 parent 341c5e4 commit e9efa95

File tree

8 files changed

+118
-84
lines changed

8 files changed

+118
-84
lines changed

‎eras/allegra/impl/testlib/Test/Cardano/Ledger/Allegra/Binary/Golden.hs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -27,7 +27,7 @@ import Test.Cardano.Ledger.Allegra.Era (AllegraEraTest)
2727
import Test.Cardano.Ledger.Common (Spec, describe, it, prop)
2828
import Test.Cardano.Ledger.Core.KeyPair (mkKeyHash)
2929
import Test.Cardano.Ledger.Imp.Common (forEachEraVersion)
30-
import Test.Cardano.Ledger.Shelley.Binary.Golden hiding (spec)
30+
import Test.Cardano.Ledger.Shelley.Binary.Golden
3131

3232
allegraDecodeDuplicateDelegCertSucceeds ::
3333
forall era. (AllegraEraTest era, ShelleyEraTxCert era) => Version -> Spec

‎eras/alonzo/impl/testlib/Test/Cardano/Ledger/Alonzo/Binary/Golden.hs‎

Lines changed: 31 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@
99
module Test.Cardano.Ledger.Alonzo.Binary.Golden (
1010
spec,
1111
witsEmptyField,
12+
expectFailureOnTxWitsEmptyField,
1213
module Test.Cardano.Ledger.Allegra.Binary.Golden,
1314
) where
1415

@@ -18,6 +19,7 @@ import Cardano.Ledger.Binary (
1819
DecoderError (..),
1920
DeserialiseFailure (..),
2021
Tokens (..),
22+
Version,
2123
)
2224
import qualified Cardano.Ledger.Binary as Binary
2325
import Cardano.Ledger.MemoBytes (EqRaw (..))
@@ -27,6 +29,7 @@ import Test.Cardano.Ledger.Allegra.Binary.Golden hiding (spec)
2729
import Test.Cardano.Ledger.Alonzo.Era (AlonzoEraTest)
2830
import Test.Cardano.Ledger.Binary.Plain.Golden (Enc (..))
2931
import Test.Cardano.Ledger.Common (
32+
Expectation,
3033
NonNegative (..),
3134
Spec,
3235
describe,
@@ -43,6 +46,25 @@ witsEmptyField k =
4346
, E @[Void] []
4447
]
4548

49+
expectFailureOnTxWitsEmptyField ::
50+
forall era.
51+
AlonzoEraTest era =>
52+
Version ->
53+
Int ->
54+
DecoderError ->
55+
Expectation
56+
expectFailureOnTxWitsEmptyField version k =
57+
expectDecoderFailureAnn @(TxWits era) version (witsEmptyField k)
58+
59+
expectSuccessOnEmptyFieldRaw ::
60+
forall era.
61+
AlonzoEraTest era =>
62+
Version ->
63+
Int ->
64+
Expectation
65+
expectSuccessOnEmptyFieldRaw version k =
66+
expectDecoderSuccessAnnWith eqRaw version (witsEmptyField k) (mkBasicTxWits @era)
67+
4668
spec ::
4769
forall era.
4870
(AlonzoEraTest era, ShelleyEraTxCert era) =>
@@ -51,25 +73,20 @@ spec = do
5173
describe "TxWits" $ do
5274
forEachEraVersion @era $ \version ->
5375
describe "Empty fields allowed" $ do
54-
let
55-
expectSuccessOnEmptyFieldRaw k =
56-
expectDecoderSuccessAnnWith eqRaw version (witsEmptyField k) (mkBasicTxWits @era)
57-
expectFailureOnEmptyField k =
58-
expectDecoderFailureAnn @(TxWits era) version (witsEmptyField k)
59-
it "addrTxWits" $ expectSuccessOnEmptyFieldRaw 0
60-
it "nativeScripts" $ expectSuccessOnEmptyFieldRaw 1
61-
it "bootstrapWitness" $ expectSuccessOnEmptyFieldRaw 2
62-
it "plutusV1Script" $ expectSuccessOnEmptyFieldRaw 3
63-
it "plutusData" $ expectSuccessOnEmptyFieldRaw 4
64-
it "redeemers" $ expectSuccessOnEmptyFieldRaw 5
76+
it "addrTxWits" $ expectSuccessOnEmptyFieldRaw @era version 0
77+
it "nativeScripts" $ expectSuccessOnEmptyFieldRaw @era version 1
78+
it "bootstrapWitness" $ expectSuccessOnEmptyFieldRaw @era version 2
79+
it "plutusV1Script" $ expectSuccessOnEmptyFieldRaw @era version 3
80+
it "plutusData" $ expectSuccessOnEmptyFieldRaw @era version 4
81+
it "redeemers" $ expectSuccessOnEmptyFieldRaw @era version 5
6582
-- Fields 6 and 7 should not deserialize, but they do due to a bug in the Alonzo decoder
6683
-- This should not be a problem starting with PV9, because we won't allow empty lists
6784
-- from there onwards
68-
it "plutusV2Script" $ expectSuccessOnEmptyFieldRaw 6
69-
it "plutusV3Script" $ expectSuccessOnEmptyFieldRaw 7
85+
it "plutusV2Script" $ expectSuccessOnEmptyFieldRaw @era version 6
86+
it "plutusV3Script" $ expectSuccessOnEmptyFieldRaw @era version 7
7087
prop "Invalid field" $ \(NonNegative n) ->
7188
let invalidTag = n + 8
72-
in expectFailureOnEmptyField invalidTag $
89+
in expectFailureOnTxWitsEmptyField @era version invalidTag $
7390
DecoderErrorDeserialiseFailure
7491
(Binary.label $ Proxy @(Annotator (TxWits era)))
7592
( DeserialiseFailure 2 $

‎eras/conway/impl/testlib/Test/Cardano/Ledger/Conway/Binary/Golden.hs‎

Lines changed: 35 additions & 23 deletions
Original file line numberDiff line numberDiff line change
@@ -13,6 +13,7 @@ module Test.Cardano.Ledger.Conway.Binary.Golden (
1313
goldenListRedeemers,
1414
witsEmptyFieldWithSetTag,
1515
conwayDecodeDuplicateDelegCertFails,
16+
expectFailureOnTxWitsEmptyFieldWithTag,
1617
module Test.Cardano.Ledger.Alonzo.Binary.Golden,
1718
) where
1819

@@ -25,7 +26,13 @@ import Cardano.Ledger.Alonzo.Core (
2526
)
2627
import Cardano.Ledger.Alonzo.Scripts (ExUnits (..))
2728
import Cardano.Ledger.Alonzo.TxWits (Redeemers (..), unRedeemers)
28-
import Cardano.Ledger.Binary (Annotator, DecoderError (..), DeserialiseFailure (..), Version)
29+
import Cardano.Ledger.Binary (
30+
Annotator,
31+
DecCBOR,
32+
DecoderError (..),
33+
DeserialiseFailure (..),
34+
Version,
35+
)
2936
import qualified Cardano.Ledger.Binary as Binary
3037
import Cardano.Ledger.Binary.Plain (Tokens (..))
3138
import Cardano.Ledger.Conway.Core (
@@ -39,7 +46,9 @@ import PlutusLedgerApi.Common (Data (..))
3946
import Test.Cardano.Ledger.Alonzo.Binary.Golden hiding (spec)
4047
import Test.Cardano.Ledger.Binary.Plain.Golden (Enc (..))
4148
import Test.Cardano.Ledger.Common (
49+
Expectation,
4250
Spec,
51+
ToExpr,
4352
describe,
4453
it,
4554
)
@@ -82,6 +91,15 @@ witsEmptyFieldWithSetTag k =
8291
, E @[Void] []
8392
]
8493

94+
expectFailureOnTxWitsEmptyFieldWithTag ::
95+
forall era.
96+
( ToExpr (TxWits era)
97+
, DecCBOR (Annotator (TxWits era))
98+
) =>
99+
Version -> Int -> DecoderError -> Expectation
100+
expectFailureOnTxWitsEmptyFieldWithTag version k =
101+
expectDecoderFailureAnn @(TxWits era) version (witsEmptyFieldWithSetTag k)
102+
85103
conwayDecodeDuplicateDelegCertFails ::
86104
forall era. ConwayEraTest era => Version -> Spec
87105
conwayDecodeDuplicateDelegCertFails version =
@@ -100,74 +118,68 @@ spec = do
100118
describe "Empty fields not allowed" $ do
101119
forEachEraVersion @era $ \version -> do
102120
describe "Untagged" $ do
103-
let
104-
expectFailureOnEmptyField k =
105-
expectDecoderFailureAnn @(TxWits era) version (witsEmptyField k)
106-
it "addrTxWits" . expectFailureOnEmptyField 0 $
121+
it "addrTxWits" . expectFailureOnTxWitsEmptyField @era version 0 $
107122
DecoderErrorDeserialiseFailure
108123
(Binary.label $ Proxy @(Annotator (TxWits era)))
109124
(DeserialiseFailure 4 "Empty list found, expected non-empty")
110-
it "nativeScripts" . expectFailureOnEmptyField 1 $
125+
it "nativeScripts" . expectFailureOnTxWitsEmptyField @era version 1 $
111126
DecoderErrorDeserialiseFailure
112127
(Binary.label $ Proxy @(Annotator (TxWits era)))
113128
(DeserialiseFailure 4 "Empty list found, expected non-empty")
114-
it "bootstrapWitness" . expectFailureOnEmptyField 2 $
129+
it "bootstrapWitness" . expectFailureOnTxWitsEmptyField @era version 2 $
115130
DecoderErrorDeserialiseFailure
116131
(Binary.label $ Proxy @(Annotator (TxWits era)))
117132
(DeserialiseFailure 4 "Empty list found, expected non-empty")
118-
it "plutusV1Script" . expectFailureOnEmptyField 3 $
133+
it "plutusV1Script" . expectFailureOnTxWitsEmptyField @era version 3 $
119134
DecoderErrorDeserialiseFailure
120135
(Binary.label $ Proxy @(Annotator (TxWits era)))
121136
(DeserialiseFailure 4 "Empty list of scripts is not allowed")
122-
it "plutusData" . expectFailureOnEmptyField 4 $
137+
it "plutusData" . expectFailureOnTxWitsEmptyField @era version 4 $
123138
DecoderErrorDeserialiseFailure
124139
(Binary.label $ Proxy @(Annotator (TxWits era)))
125140
(DeserialiseFailure 4 "Empty list found, expected non-empty")
126-
it "redeemers" . expectFailureOnEmptyField 5 $
141+
it "redeemers" . expectFailureOnTxWitsEmptyField @era version 5 $
127142
DecoderErrorDeserialiseFailure
128143
(Binary.label $ Proxy @(Annotator (TxWits era)))
129144
(DeserialiseFailure 4 "Empty list found, expected non-empty")
130-
it "plutusV2Script" . expectFailureOnEmptyField 6 $
145+
it "plutusV2Script" . expectFailureOnTxWitsEmptyField @era version 6 $
131146
DecoderErrorDeserialiseFailure
132147
(Binary.label $ Proxy @(Annotator (TxWits era)))
133148
(DeserialiseFailure 4 "Empty list of scripts is not allowed")
134-
it "plutusV3Script" . expectFailureOnEmptyField 7 $
149+
it "plutusV3Script" . expectFailureOnTxWitsEmptyField @era version 7 $
135150
DecoderErrorDeserialiseFailure
136151
(Binary.label $ Proxy @(Annotator (TxWits era)))
137152
(DeserialiseFailure 4 "Empty list of scripts is not allowed")
138-
it "8th field" . expectFailureOnEmptyField 8 $
153+
it "8th field" . expectFailureOnTxWitsEmptyField @era version 8 $
139154
DecoderErrorDeserialiseFailure
140155
(Binary.label $ Proxy @(Annotator (TxWits era)))
141156
(DeserialiseFailure 2 "An error occurred while decoding (Int,Void) not a valid key:.\nError: 8")
142157
describe "Tagged" $ do
143-
let
144-
expectFailureOnEmptyField k =
145-
expectDecoderFailureAnn @(TxWits era) version (witsEmptyFieldWithSetTag k)
146-
it "addrTxWits" . expectFailureOnEmptyField 0 $
158+
it "addrTxWits" . expectFailureOnTxWitsEmptyField @era version 0 $
147159
DecoderErrorDeserialiseFailure
148160
(Binary.label $ Proxy @(Annotator (TxWits era)))
149161
(DeserialiseFailure 7 "Empty list found, expected non-empty")
150-
it "nativeScripts" . expectFailureOnEmptyField 1 $
162+
it "nativeScripts" . expectFailureOnTxWitsEmptyFieldWithTag @era version 1 $
151163
DecoderErrorDeserialiseFailure
152164
(Binary.label $ Proxy @(Annotator (TxWits era)))
153165
(DeserialiseFailure 7 "Empty list found, expected non-empty")
154-
it "bootstrapWitness" . expectFailureOnEmptyField 2 $
166+
it "bootstrapWitness" . expectFailureOnTxWitsEmptyFieldWithTag @era version 2 $
155167
DecoderErrorDeserialiseFailure
156168
(Binary.label $ Proxy @(Annotator (TxWits era)))
157169
(DeserialiseFailure 7 "Empty list found, expected non-empty")
158-
it "plutusV1Script" . expectFailureOnEmptyField 3 $
170+
it "plutusV1Script" . expectFailureOnTxWitsEmptyFieldWithTag @era version 3 $
159171
DecoderErrorDeserialiseFailure
160172
(Binary.label $ Proxy @(Annotator (TxWits era)))
161173
(DeserialiseFailure 7 "Empty list of scripts is not allowed")
162-
it "plutusData" . expectFailureOnEmptyField 4 $
174+
it "plutusData" . expectFailureOnTxWitsEmptyFieldWithTag @era version 4 $
163175
DecoderErrorDeserialiseFailure
164176
(Binary.label $ Proxy @(Annotator (TxWits era)))
165177
(DeserialiseFailure 7 "Empty list found, expected non-empty")
166-
it "plutusV2Script" . expectFailureOnEmptyField 6 $
178+
it "plutusV2Script" . expectFailureOnTxWitsEmptyFieldWithTag @era version 6 $
167179
DecoderErrorDeserialiseFailure
168180
(Binary.label $ Proxy @(Annotator (TxWits era)))
169181
(DeserialiseFailure 7 "Empty list of scripts is not allowed")
170-
it "plutusV3Script" . expectFailureOnEmptyField 7 $
182+
it "plutusV3Script" . expectFailureOnTxWitsEmptyFieldWithTag @era version 7 $
171183
DecoderErrorDeserialiseFailure
172184
(Binary.label $ Proxy @(Annotator (TxWits era)))
173185
(DeserialiseFailure 7 "Empty list of scripts is not allowed")

‎eras/dijkstra/impl/testlib/Test/Cardano/Ledger/Dijkstra/Binary/Golden.hs‎

Lines changed: 26 additions & 27 deletions
Original file line numberDiff line numberDiff line change
@@ -23,6 +23,8 @@ import Cardano.Ledger.Dijkstra.Core (
2323
EraTxBody (..),
2424
EraTxOut (..),
2525
EraTxWits (..),
26+
TxLevel (..),
27+
eraProtVerLow,
2628
)
2729
import Cardano.Ledger.Dijkstra.TxBody
2830
import Cardano.Ledger.Plutus (SLanguage (..))
@@ -33,7 +35,7 @@ import qualified Data.Set as Set
3335
import Lens.Micro
3436
import Test.Cardano.Ledger.Alonzo.Arbitrary (alwaysSucceedsLang)
3537
import Test.Cardano.Ledger.Binary.Plain.Golden (Enc (..))
36-
import Test.Cardano.Ledger.Common (Spec, describe, it)
38+
import Test.Cardano.Ledger.Common (Small (..), Spec, describe, it, prop, (==>))
3739
import Test.Cardano.Ledger.Conway.Binary.Golden hiding (spec)
3840
import Test.Cardano.Ledger.Core.KeyPair (mkKeyPair, mkWitnessVKey)
3941
import Test.Cardano.Ledger.Core.Utils (mkDummySafeHash)
@@ -55,81 +57,78 @@ spec = describe "Golden" . forEachEraVersion @era $ \version -> do
5557
goldenDuplicatePlutusDataDisallowed @era version
5658
goldenSubTransactions @era
5759
goldenEmptyFields @era version
58-
forM_ (eraProtVersions @era) $ goldenEmptyFields @era
5960

6061
goldenEmptyFields :: forall era. DijkstraEraTest era => Version -> Spec
6162
goldenEmptyFields version =
6263
describe "Empty fields not allowed" $ do
6364
describe "Untagged" $ do
6465
let
65-
expectFailureOnEmptyField k =
66-
expectDecoderFailureAnn @(TxWits era) version (witsEmptyField k)
67-
it "addrTxWits" . expectFailureOnEmptyField 0 $
66+
it "addrTxWits" . expectFailureOnTxWitsEmptyField @era version 0 $
6867
DecoderErrorDeserialiseFailure
6968
(Binary.label $ Proxy @(Annotator (TxWits era)))
7069
(DeserialiseFailure 4 "Set cannot be empty")
71-
it "nativeScripts" . expectFailureOnEmptyField 1 $
70+
it "nativeScripts" . expectFailureOnTxWitsEmptyField @era version 1 $
7271
DecoderErrorCustom "Annotator" "Empty script Set is not allowed"
73-
it "bootstrapWitness" . expectFailureOnEmptyField 2 $
72+
it "bootstrapWitness" . expectFailureOnTxWitsEmptyField @era version 2 $
7473
DecoderErrorDeserialiseFailure
7574
(Binary.label $ Proxy @(Annotator (TxWits era)))
7675
(DeserialiseFailure 4 "Set cannot be empty")
77-
it "plutusV1Script" . expectFailureOnEmptyField 3 $
76+
it "plutusV1Script" . expectFailureOnTxWitsEmptyField @era version 3 $
7877
DecoderErrorDeserialiseFailure
7978
"Annotator (MemoBytes (AlonzoTxWitsRaw DijkstraEra))"
8079
(DeserialiseFailure 4 "Empty list of scripts is not allowed")
81-
it "plutusData" . expectFailureOnEmptyField 4 $
80+
it "plutusData" . expectFailureOnTxWitsEmptyField @era version 4 $
8281
DecoderErrorCustom "Annotator" "Empty script Set is not allowed"
83-
it "redeemers" . expectFailureOnEmptyField 5 $
82+
it "redeemers" . expectFailureOnTxWitsEmptyField @era version 5 $
8483
DecoderErrorDeserialiseFailure
8584
"Annotator (MemoBytes (AlonzoTxWitsRaw DijkstraEra))"
8685
(DeserialiseFailure 2 "List encoding of redeemers not supported starting with PV 12")
87-
it "plutusV2Script" . expectFailureOnEmptyField 6 $
86+
it "plutusV2Script" . expectFailureOnTxWitsEmptyField @era version 6 $
8887
DecoderErrorDeserialiseFailure
8988
"Annotator (MemoBytes (AlonzoTxWitsRaw DijkstraEra))"
9089
(DeserialiseFailure 4 "Empty list of scripts is not allowed")
91-
it "plutusV3Script" . expectFailureOnEmptyField 7 $
90+
it "plutusV3Script" . expectFailureOnTxWitsEmptyField @era version 7 $
9291
DecoderErrorDeserialiseFailure
9392
"Annotator (MemoBytes (AlonzoTxWitsRaw DijkstraEra))"
9493
(DeserialiseFailure 4 "Empty list of scripts is not allowed")
9594
-- TODO replace this with `plutusV4Script` once that is added
96-
it "8th field" . expectFailureOnEmptyField 8 $
95+
it "8th field" . expectFailureOnTxWitsEmptyField @era version 8 $
9796
DecoderErrorDeserialiseFailure
9897
(Binary.label $ Proxy @(Annotator (TxWits era)))
9998
(DeserialiseFailure 2 "An error occurred while decoding (Int,Void) not a valid key:.\nError: 8")
10099
describe "Tagged" $ do
101100
let
102-
expectFailureOnEmptyField k =
103-
expectDecoderFailureAnn @(TxWits era) version (witsEmptyFieldWithSetTag k)
104-
it "addrTxWits" . expectFailureOnEmptyField 0 $
101+
it "addrTxWits" . expectFailureOnTxWitsEmptyField @era version 0 $
105102
DecoderErrorDeserialiseFailure
106103
(Binary.label $ Proxy @(Annotator (TxWits era)))
107104
(DeserialiseFailure 7 "Set cannot be empty")
108-
it "nativeScripts" . expectFailureOnEmptyField 1 $
105+
it "nativeScripts" . expectFailureOnTxWitsEmptyField @era version 1 $
109106
DecoderErrorCustom "Annotator" "Empty script Set is not allowed"
110-
it "bootstrapWitness" . expectFailureOnEmptyField 2 $
107+
it "bootstrapWitness" . expectFailureOnTxWitsEmptyField @era version 2 $
111108
DecoderErrorDeserialiseFailure
112109
(Binary.label $ Proxy @(Annotator (TxWits era)))
113110
(DeserialiseFailure 7 "Set cannot be empty")
114-
it "plutusV1Script" . expectFailureOnEmptyField 3 $
111+
it "plutusV1Script" . expectFailureOnTxWitsEmptyField @era version 3 $
115112
DecoderErrorDeserialiseFailure
116113
(Binary.label $ Proxy @(Annotator (TxWits era)))
117114
(DeserialiseFailure 7 "Empty list of scripts is not allowed")
118-
it "plutusData" . expectFailureOnEmptyField 4 $
115+
it "plutusData" . expectFailureOnTxWitsEmptyField @era version 4 $
119116
DecoderErrorCustom "Annotator" "Empty script Set is not allowed"
120-
it "plutusV2Script" . expectFailureOnEmptyField 6 $
117+
it "plutusV2Script" . expectFailureOnTxWitsEmptyField @era version 6 $
121118
DecoderErrorDeserialiseFailure
122119
(Binary.label $ Proxy @(Annotator (TxWits era)))
123120
(DeserialiseFailure 7 "Empty list of scripts is not allowed")
124-
it "plutusV3Script" . expectFailureOnEmptyField 7 $
121+
it "plutusV3Script" . expectFailureOnTxWitsEmptyField @era version 7 $
125122
DecoderErrorDeserialiseFailure
126123
(Binary.label $ Proxy @(Annotator (TxWits era)))
127124
(DeserialiseFailure 7 "Empty list of scripts is not allowed")
128-
-- TODO replace this with `plutusV4Script` once that is added
129-
it "8th field" . expectFailureOnEmptyField 8 $
130-
DecoderErrorDeserialiseFailure
131-
(Binary.label $ Proxy @(Annotator (TxWits era)))
132-
(DeserialiseFailure 2 "An error occurred while decoding (Int,Void) not a valid key:.\nError: 8")
125+
prop "other fields" $ \(Small idx) ->
126+
idx `notElem` [0 .. 7] ==> expectFailureOnTxWitsEmptyField @era version idx $
127+
DecoderErrorDeserialiseFailure
128+
(Binary.label $ Proxy @(Annotator (TxWits era)))
129+
( DeserialiseFailure 2 $
130+
"An error occurred while decoding (Int,Void) not a valid key:.\nError: " <> show idx
131+
)
133132

134133
witsDuplicateVKeyWits :: Enc
135134
witsDuplicateVKeyWits =

‎eras/shelley/impl/testlib/Test/Cardano/Ledger/Shelley/Binary/Golden.hs‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ module Test.Cardano.Ledger.Shelley.Binary.Golden (
88
goldenNewEpochStateExpectation,
99
duplicateDelegCertsTxBody,
1010
shelleyDecodeDuplicateDelegCertSucceeds,
11-
module Test.Cardano.Ledger.Core.Binary.Golden,
11+
module Test.Cardano.Ledger.Binary.Golden,
1212
) where
1313

1414
import Cardano.Ledger.BaseTypes (BlocksMade (..), EpochNo (..), SlotNo (..))
@@ -33,9 +33,9 @@ import qualified Data.Sequence.Strict as SSeq
3333
import qualified Data.Set as Set
3434
import qualified Data.VMap as VMap
3535
import Lens.Micro ((&), (.~))
36+
import Test.Cardano.Ledger.Binary.Golden
3637
import Test.Cardano.Ledger.Binary.Plain.Golden
3738
import Test.Cardano.Ledger.Common
38-
import Test.Cardano.Ledger.Core.Binary.Golden
3939
import Test.Cardano.Ledger.Core.KeyPair (mkKeyHash)
4040
import Test.Cardano.Ledger.Shelley.Arbitrary ()
4141
import Test.Cardano.Ledger.Shelley.Era (ShelleyEraTest)

‎libs/cardano-ledger-binary/cardano-ledger-binary.cabal‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -87,6 +87,7 @@ library testlib
8787
Test.Cardano.Ledger.Binary.Arbitrary
8888
Test.Cardano.Ledger.Binary.Cddl
8989
Test.Cardano.Ledger.Binary.Cuddle
90+
Test.Cardano.Ledger.Binary.Golden
9091
Test.Cardano.Ledger.Binary.Plain.Golden
9192
Test.Cardano.Ledger.Binary.Plain.RoundTrip
9293
Test.Cardano.Ledger.Binary.Random

0 commit comments

Comments
 (0)