Merge pull request #5504 from IntersectMBO/nm/remove-ruby-cddl

Remove ruby cddl

Author: lehins

.github/workflows/haskell.yml

@@ -233,8 +233,6 @@ jobs:
 
       SECP_CACHE_VERSION: "2022-12-30"
 
-      packages-with-ruby-cddl-tests: '["cardano-protocol-tpraos", "cardano-ledger-shelley", "cardano-ledger-allegra", "cardano-ledger-mary", "cardano-ledger-alonzo", "cardano-ledger-babbage", "cardano-ledger-conway", "cardano-ledger-dijkstra"]'
-
     defaults:
       run:
         shell: bash
@@ -271,18 +269,6 @@ jobs:
         ghc-version: ${{ matrix.ghc }}
         cabal-version: 3.14
 
-    - name: Set up Ruby
-      if: contains(fromJson(env.packages-with-ruby-cddl-tests), matrix.package)
-      uses: ruby/setup-ruby@v1
-      with:
-        ruby-version: 3.3
-
-    - name: Install cbor-diag and cddl
-      if: contains(fromJson(env.packages-with-ruby-cddl-tests), matrix.package)
-      run: |
-        gem install cddl -v 0.10.3
-        gem install cbor-diag
-
     - name: Download Mainnet Mirror
       if: matrix.package == 'cardano-ledger-byron'
       run: |

CONTRIBUTING.md

@@ -151,10 +151,6 @@ For example the Shelley tests can be run with:
 cabal test cardano-ledger-shelley-test
 ```
 
-**Note** that the tests in `cardano-ledger-shelley-test` require two Ruby gems,
-[cbor-diag](https://rubygems.org/gems/cbor-diag) and
-[cddl](https://rubygems.org/gems/cddl).
-
 It can be helpful to use the `--test-show-details=streaming` option for seeing
 the output of the tests while they run:
 

eras/allegra/impl/test/Test/Cardano/Ledger/Allegra/Binary/CddlSpec.hs

@@ -7,34 +7,14 @@ import Cardano.Ledger.Allegra (AllegraEra)
 import Cardano.Ledger.Allegra.HuddleSpec (allegraCDDL)
 import Cardano.Ledger.Core
 import Test.Cardano.Ledger.Allegra.Binary.Annotator ()
-import Test.Cardano.Ledger.Allegra.Binary.Cddl (readAllegraCddlFiles)
-import Test.Cardano.Ledger.Binary.Cddl (
-  beforeAllCddlFile,
-  cddlDecoderEquivalenceSpec,
-  cddlRoundTripAnnCborSpec,
-  cddlRoundTripCborSpec,
- )
 import Test.Cardano.Ledger.Binary.Cuddle
 import Test.Cardano.Ledger.Common
 
 spec :: Spec
 spec =
   describe "CDDL" $ do
     let v = eraProtVerLow @AllegraEra
-    describe "Ruby-based" $ beforeAllCddlFile 3 readAllegraCddlFiles $ do
-      cddlRoundTripCborSpec @(Value AllegraEra) v "coin"
-      cddlRoundTripAnnCborSpec @(TxBody TopTx AllegraEra) v "transaction_body"
-      cddlRoundTripCborSpec @(TxBody TopTx AllegraEra) v "transaction_body"
-      cddlRoundTripAnnCborSpec @(Script AllegraEra) v "native_script"
-      cddlRoundTripCborSpec @(Script AllegraEra) v "native_script"
-      cddlRoundTripAnnCborSpec @(TxAuxData AllegraEra) v "auxiliary_data"
-      cddlRoundTripCborSpec @(TxAuxData AllegraEra) v "auxiliary_data"
-      describe "DecCBOR instances equivalence via CDDL" $ do
-        cddlDecoderEquivalenceSpec @(TxBody TopTx AllegraEra) v "transaction_body"
-        cddlDecoderEquivalenceSpec @(Script AllegraEra) v "native_script"
-        cddlDecoderEquivalenceSpec @(TxAuxData AllegraEra) v "auxiliary_data"
-
-    describe "Huddle" $ specWithHuddle allegraCDDL 100 $ do
+    specWithHuddle allegraCDDL 100 $ do
       huddleRoundTripCborSpec @(Value AllegraEra) v "coin"
       huddleRoundTripAnnCborSpec @(TxBody TopTx AllegraEra) v "transaction_body"
       huddleRoundTripCborSpec @(TxBody TopTx AllegraEra) v "transaction_body"

eras/alonzo/impl/test/Test/Cardano/Ledger/Alonzo/Binary/CddlSpec.hs

@@ -11,13 +11,6 @@ import Cardano.Ledger.Alonzo.TxWits (AlonzoTxWits, Redeemers)
 import Cardano.Ledger.Core
 import Cardano.Ledger.Plutus.Data (Data)
 import Test.Cardano.Ledger.Alonzo.Binary.Annotator ()
-import Test.Cardano.Ledger.Alonzo.Binary.Cddl (readAlonzoCddlFiles)
-import Test.Cardano.Ledger.Binary.Cddl (
-  beforeAllCddlFile,
-  cddlDecoderEquivalenceSpec,
-  cddlRoundTripAnnCborSpec,
-  cddlRoundTripCborSpec,
- )
 import Test.Cardano.Ledger.Binary.Cuddle (
   huddleDecoderEquivalenceSpec,
   huddleRoundTripAnnCborSpec,
@@ -30,34 +23,7 @@ spec :: Spec
 spec =
   describe "CDDL" $ do
     let v = eraProtVerHigh @AlonzoEra
-    describe "Ruby-based" $ beforeAllCddlFile 3 readAlonzoCddlFiles $ do
-      cddlRoundTripCborSpec @(Value AlonzoEra) v "coin"
-      cddlRoundTripAnnCborSpec @(TxBody TopTx AlonzoEra) v "transaction_body"
-      cddlRoundTripCborSpec @(TxBody TopTx AlonzoEra) v "transaction_body"
-      cddlRoundTripAnnCborSpec @(TxAuxData AlonzoEra) v "auxiliary_data"
-      cddlRoundTripCborSpec @(TxAuxData AlonzoEra) v "auxiliary_data"
-      cddlRoundTripAnnCborSpec @(Timelock AlonzoEra) v "native_script"
-      cddlRoundTripCborSpec @(Timelock AlonzoEra) v "native_script"
-      cddlRoundTripAnnCborSpec @(Data AlonzoEra) v "plutus_data"
-      cddlRoundTripCborSpec @(Data AlonzoEra) v "plutus_data"
-      cddlRoundTripCborSpec @(TxOut AlonzoEra) v "transaction_output"
-      cddlRoundTripAnnCborSpec @(AlonzoTxWits AlonzoEra) v "transaction_witness_set"
-      cddlRoundTripCborSpec @(AlonzoTxWits AlonzoEra) v "transaction_witness_set"
-      cddlRoundTripCborSpec @(PParamsUpdate AlonzoEra) v "protocol_param_update"
-      cddlRoundTripAnnCborSpec @(Redeemers AlonzoEra) v "[* redeemer]"
-      cddlRoundTripCborSpec @(Redeemers AlonzoEra) v "[* redeemer]"
-      cddlRoundTripAnnCborSpec @(Tx TopTx AlonzoEra) v "transaction"
-      cddlRoundTripCborSpec @(Tx TopTx AlonzoEra) v "transaction"
-      cddlRoundTripCborSpec @CostModels v "cost_models"
-      describe "DecCBOR instances equivalence via CDDL" $ do
-        cddlDecoderEquivalenceSpec @(TxBody TopTx AlonzoEra) v "transaction_body"
-        cddlDecoderEquivalenceSpec @(TxAuxData AlonzoEra) v "auxiliary_data"
-        cddlDecoderEquivalenceSpec @(Timelock AlonzoEra) v "native_script"
-        cddlDecoderEquivalenceSpec @(Data AlonzoEra) v "plutus_data"
-        cddlDecoderEquivalenceSpec @(AlonzoTxWits AlonzoEra) v "transaction_witness_set"
-        cddlDecoderEquivalenceSpec @(Redeemers AlonzoEra) v "[* redeemer]"
-        cddlDecoderEquivalenceSpec @(Tx TopTx AlonzoEra) v "transaction"
-    describe "Huddle" $ specWithHuddle alonzoCDDL 100 $ do
+    specWithHuddle alonzoCDDL 100 $ do
       huddleRoundTripCborSpec @(Value AlonzoEra) v "coin"
       huddleRoundTripAnnCborSpec @(TxBody TopTx AlonzoEra) v "transaction_body"
       huddleRoundTripCborSpec @(TxBody TopTx AlonzoEra) v "transaction_body"

eras/babbage/impl/test/Test/Cardano/Ledger/Babbage/Binary/CddlSpec.hs

@@ -11,13 +11,6 @@ import Cardano.Ledger.Babbage.HuddleSpec (babbageCDDL)
 import Cardano.Ledger.Core
 import Cardano.Ledger.Plutus.Data (Data, Datum)
 import Test.Cardano.Ledger.Babbage.Binary.Annotator ()
-import Test.Cardano.Ledger.Babbage.Binary.Cddl (readBabbageCddlFiles)
-import Test.Cardano.Ledger.Binary.Cddl (
-  beforeAllCddlFile,
-  cddlDecoderEquivalenceSpec,
-  cddlRoundTripAnnCborSpec,
-  cddlRoundTripCborSpec,
- )
 import Test.Cardano.Ledger.Binary.Cuddle (
   huddleDecoderEquivalenceSpec,
   huddleRoundTripAnnCborSpec,
@@ -30,38 +23,7 @@ spec :: Spec
 spec =
   describe "CDDL" $ do
     let v = eraProtVerHigh @BabbageEra
-    describe "Ruby-based" $ beforeAllCddlFile 3 readBabbageCddlFiles $ do
-      cddlRoundTripCborSpec @(Value BabbageEra) v "coin"
-      cddlRoundTripAnnCborSpec @(TxBody TopTx BabbageEra) v "transaction_body"
-      cddlRoundTripCborSpec @(TxBody TopTx BabbageEra) v "transaction_body"
-      cddlRoundTripAnnCborSpec @(TxAuxData BabbageEra) v "auxiliary_data"
-      cddlRoundTripCborSpec @(TxAuxData BabbageEra) v "auxiliary_data"
-      cddlRoundTripAnnCborSpec @(Timelock BabbageEra) v "native_script"
-      cddlRoundTripCborSpec @(Timelock BabbageEra) v "native_script"
-      cddlRoundTripAnnCborSpec @(Data BabbageEra) v "plutus_data"
-      cddlRoundTripCborSpec @(Data BabbageEra) v "plutus_data"
-      cddlRoundTripCborSpec @(TxOut BabbageEra) v "transaction_output"
-      cddlRoundTripAnnCborSpec @(Script BabbageEra) v "script"
-      cddlRoundTripCborSpec @(Script BabbageEra) v "script"
-      cddlRoundTripCborSpec @(Datum BabbageEra) v "datum_option"
-      cddlRoundTripAnnCborSpec @(TxWits BabbageEra) v "transaction_witness_set"
-      cddlRoundTripCborSpec @(TxWits BabbageEra) v "transaction_witness_set"
-      cddlRoundTripCborSpec @(PParamsUpdate BabbageEra) v "protocol_param_update"
-      cddlRoundTripCborSpec @CostModels v "cost_models"
-      cddlRoundTripAnnCborSpec @(Redeemers BabbageEra) v "redeemers"
-      cddlRoundTripCborSpec @(Redeemers BabbageEra) v "redeemers"
-      cddlRoundTripAnnCborSpec @(Tx TopTx BabbageEra) v "transaction"
-      cddlRoundTripCborSpec @(Tx TopTx BabbageEra) v "transaction"
-      describe "DecCBOR instances equivalence via CDDL" $ do
-        cddlDecoderEquivalenceSpec @(TxBody TopTx BabbageEra) v "transaction_body"
-        cddlDecoderEquivalenceSpec @(TxAuxData BabbageEra) v "auxiliary_data"
-        cddlDecoderEquivalenceSpec @(Timelock BabbageEra) v "native_script"
-        cddlDecoderEquivalenceSpec @(Data BabbageEra) v "plutus_data"
-        cddlDecoderEquivalenceSpec @(Script BabbageEra) v "script"
-        cddlDecoderEquivalenceSpec @(TxWits BabbageEra) v "transaction_witness_set"
-        cddlDecoderEquivalenceSpec @(Redeemers BabbageEra) v "redeemers"
-        cddlDecoderEquivalenceSpec @(Tx TopTx BabbageEra) v "transaction"
-    describe "Huddle" $ specWithHuddle babbageCDDL 100 $ do
+    specWithHuddle babbageCDDL 100 $ do
       huddleRoundTripCborSpec @(Value BabbageEra) v "coin"
       huddleRoundTripAnnCborSpec @(TxBody TopTx BabbageEra) v "transaction_body"
       huddleRoundTripCborSpec @(TxBody TopTx BabbageEra) v "transaction_body"

eras/byron/ledger/impl/cddl-spec/README.md

@@ -3,18 +3,33 @@
 The current binary format is specified in `byron.cddl`. You can use this
 to generate (pseudo-)valid blocks:
 
-```shell
-nix develop
-cddl byron.cddl generate | diag2pretty.rb > test.pretty
+```shellsession
+$ cuddle gen -f pretty -r block -o test.pretty byron.cddl
 ```
 
-By default these are produced in [CBOR Diagnostic
-notation](https://tools.ietf.org/html/rfc7049#section-6), so you can use
-`diag2pretty.rb` or `diag2cbor.rb` to convert them to a pretty-printed or binary
-encoded CBOR format respectively.
+This produces output in a pretty-printed format. To produce binary-encoded CBOR output:
 
-The CDDL tools may also be used to validate existing blocks:
+```shellsession
+$ cuddle gen -f cbor -r block -o test.block byron.cddl
+```
+
+The `cuddle` tool may also be used to validate existing blocks:
+
+```shellsession
+$ cuddle validate-cbor -r block -c test.block byron.cddl
+```
+
+To start a shell with the `cuddle` tool in scope, you can use
+
+```shellsession
+$ nix develop
+```
+
+It's also possible to use the older Ruby-based tools for CBOR generation and validation,
+but they aren't compatible with the Cardano eras after Babbage.
+
+To start a shell with the Ruby tools in scope, you can use:
 
-```shell
-cddl byron.cddl validate test.block
+```shellsession
+$ nix shell nixpkgs#{cddl,cbor-diag}
 ```

eras/byron/ledger/impl/cddl-spec/flake.nix

@@ -38,9 +38,6 @@
             };
             buildInputs = [
               gitMinimal
-              # CBOR scheme specification related tools
-              cddl
-              cbor-diag
             ];
           };
       })

eras/conway/impl/test/Test/Cardano/Ledger/Conway/Binary/CddlSpec.hs

@@ -15,12 +15,6 @@ import Cardano.Ledger.Conway.Governance (GovAction, ProposalProcedure, VotingPro
 import Cardano.Ledger.Conway.HuddleSpec (conwayCDDL)
 import Cardano.Ledger.Core
 import Cardano.Ledger.Plutus.Data (Data, Datum)
-import Test.Cardano.Ledger.Binary.Cddl (
-  beforeAllCddlFile,
-  cddlDecoderEquivalenceSpec,
-  cddlRoundTripAnnCborSpec,
-  cddlRoundTripCborSpec,
- )
 import Test.Cardano.Ledger.Binary.Cuddle (
   huddleDecoderEquivalenceSpec,
   huddleRoundTripAnnCborSpec,
@@ -31,49 +25,12 @@ import Test.Cardano.Ledger.Binary.Cuddle (
 import Test.Cardano.Ledger.Common
 import Test.Cardano.Ledger.Conway.Arbitrary ()
 import Test.Cardano.Ledger.Conway.Binary.Annotator ()
-import Test.Cardano.Ledger.Conway.Binary.Cddl (readConwayCddlFiles)
 
 spec :: Spec
 spec = do
   describe "CDDL" $ do
     let v = eraProtVerHigh @ConwayEra
-    describe "Ruby-based" $ beforeAllCddlFile 3 readConwayCddlFiles $ do
-      cddlRoundTripCborSpec @(Value ConwayEra) v "positive_coin"
-      cddlRoundTripCborSpec @(Value ConwayEra) v "value"
-      cddlRoundTripAnnCborSpec @(TxBody TopTx ConwayEra) v "transaction_body"
-      cddlRoundTripCborSpec @(TxBody TopTx ConwayEra) v "transaction_body"
-      cddlRoundTripAnnCborSpec @(TxAuxData ConwayEra) v "auxiliary_data"
-      cddlRoundTripCborSpec @(TxAuxData ConwayEra) v "auxiliary_data"
-      cddlRoundTripAnnCborSpec @(Timelock ConwayEra) v "native_script"
-      cddlRoundTripCborSpec @(Timelock ConwayEra) v "native_script"
-      cddlRoundTripAnnCborSpec @(Data ConwayEra) v "plutus_data"
-      cddlRoundTripCborSpec @(Data ConwayEra) v "plutus_data"
-      cddlRoundTripCborSpec @(TxOut ConwayEra) v "transaction_output"
-      cddlRoundTripAnnCborSpec @(Script ConwayEra) v "script"
-      cddlRoundTripCborSpec @(Script ConwayEra) v "script"
-      cddlRoundTripCborSpec @(Datum ConwayEra) v "datum_option"
-      cddlRoundTripAnnCborSpec @(TxWits ConwayEra) v "transaction_witness_set"
-      cddlRoundTripCborSpec @(TxWits ConwayEra) v "transaction_witness_set"
-      cddlRoundTripCborSpec @(PParamsUpdate ConwayEra) v "protocol_param_update"
-      cddlRoundTripCborSpec @CostModels v "cost_models"
-      cddlRoundTripAnnCborSpec @(Redeemers ConwayEra) v "redeemers"
-      cddlRoundTripCborSpec @(Redeemers ConwayEra) v "redeemers"
-      cddlRoundTripAnnCborSpec @(Tx TopTx ConwayEra) v "transaction"
-      cddlRoundTripCborSpec @(Tx TopTx ConwayEra) v "transaction"
-      cddlRoundTripCborSpec @(VotingProcedure ConwayEra) v "voting_procedure"
-      cddlRoundTripCborSpec @(ProposalProcedure ConwayEra) v "proposal_procedure"
-      cddlRoundTripCborSpec @(GovAction ConwayEra) v "gov_action"
-      cddlRoundTripCborSpec @(TxCert ConwayEra) v "certificate"
-      describe "DecCBOR instances equivalence via CDDL" $ do
-        cddlDecoderEquivalenceSpec @(TxBody TopTx ConwayEra) v "transaction_body"
-        cddlDecoderEquivalenceSpec @(TxAuxData ConwayEra) v "auxiliary_data"
-        cddlDecoderEquivalenceSpec @(Timelock ConwayEra) v "native_script"
-        cddlDecoderEquivalenceSpec @(Data ConwayEra) v "plutus_data"
-        cddlDecoderEquivalenceSpec @(Script ConwayEra) v "script"
-        cddlDecoderEquivalenceSpec @(TxWits ConwayEra) v "transaction_witness_set"
-        cddlDecoderEquivalenceSpec @(Redeemers ConwayEra) v "redeemers"
-        cddlDecoderEquivalenceSpec @(Tx TopTx ConwayEra) v "transaction"
-    describe "Huddle" $ specWithHuddle conwayCDDL 100 $ do
+    specWithHuddle conwayCDDL 100 $ do
       -- Value
       huddleRoundTripCborSpec @(Value ConwayEra) v "positive_coin"
       huddleRoundTripArbitraryValidate @(Value ConwayEra) v "value"

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

@@ -235,7 +235,6 @@ test-suite tests
 
   build-depends:
     base,
-    cardano-ledger-allegra,
     cardano-ledger-alonzo,
     cardano-ledger-babbage:testlib,
     cardano-ledger-binary:testlib,

eras/dijkstra/impl/test/Test/Cardano/Ledger/Dijkstra/Binary/CddlSpec.hs

@@ -7,20 +7,13 @@
 
 module Test.Cardano.Ledger.Dijkstra.Binary.CddlSpec (spec) where
 
-import Cardano.Ledger.Allegra.Scripts
 import Cardano.Ledger.Alonzo.Scripts (CostModels)
 import Cardano.Ledger.Alonzo.TxWits (Redeemers)
 import Cardano.Ledger.Conway.Governance (GovAction, ProposalProcedure, VotingProcedure)
 import Cardano.Ledger.Core
 import Cardano.Ledger.Dijkstra (DijkstraEra)
 import Cardano.Ledger.Dijkstra.HuddleSpec (dijkstraCDDL)
 import Cardano.Ledger.Plutus.Data (Data, Datum)
-import Test.Cardano.Ledger.Binary.Cddl (
-  beforeAllCddlFile,
-  cddlDecoderEquivalenceSpec,
-  cddlRoundTripAnnCborSpec,
-  cddlRoundTripCborSpec,
- )
 import Test.Cardano.Ledger.Binary.Cuddle (
   huddleDecoderEquivalenceSpec,
   huddleRoundTripAnnCborSpec,
@@ -31,58 +24,12 @@ import Test.Cardano.Ledger.Binary.Cuddle (
 import Test.Cardano.Ledger.Common
 import Test.Cardano.Ledger.Dijkstra.Arbitrary ()
 import Test.Cardano.Ledger.Dijkstra.Binary.Annotator ()
-import Test.Cardano.Ledger.Dijkstra.Binary.Cddl (readDijkstraCddlFiles)
 
 spec :: Spec
 spec = do
   describe "CDDL" $ do
     let v = eraProtVerHigh @DijkstraEra
-    describe "Ruby-based" $ beforeAllCddlFile 3 readDijkstraCddlFiles $ do
-      cddlRoundTripCborSpec @(Value DijkstraEra) v "positive_coin"
-      describe "MultiAsset" $ do
-        cddlRoundTripCborSpec @(Value DijkstraEra) v "value"
-      xdescribe "fix TxBody" $ do
-        cddlRoundTripAnnCborSpec @(TxBody TopTx DijkstraEra) v "transaction_body"
-        cddlRoundTripCborSpec @(TxBody TopTx DijkstraEra) v "transaction_body"
-      xdescribe "fix TxAuxData via annotator" $ do
-        cddlRoundTripAnnCborSpec @(TxAuxData DijkstraEra) v "auxiliary_data"
-        cddlRoundTripCborSpec @(TxAuxData DijkstraEra) v "auxiliary_data"
-      cddlRoundTripAnnCborSpec @(NativeScript DijkstraEra) v "native_script"
-      cddlRoundTripCborSpec @(NativeScript DijkstraEra) v "native_script"
-      cddlRoundTripAnnCborSpec @(Data DijkstraEra) v "plutus_data"
-      cddlRoundTripCborSpec @(Data DijkstraEra) v "plutus_data"
-      xdescribe "fix TxOut" $ do
-        cddlRoundTripCborSpec @(TxOut DijkstraEra) v "transaction_output"
-      xdescribe "fix Script" $ do
-        cddlRoundTripAnnCborSpec @(Script DijkstraEra) v "script"
-        cddlRoundTripCborSpec @(Script DijkstraEra) v "script"
-      cddlRoundTripCborSpec @(Datum DijkstraEra) v "datum_option"
-      cddlRoundTripAnnCborSpec @(TxWits DijkstraEra) v "transaction_witness_set"
-      cddlRoundTripCborSpec @(TxWits DijkstraEra) v "transaction_witness_set"
-      cddlRoundTripCborSpec @(PParamsUpdate DijkstraEra) v "protocol_param_update"
-      cddlRoundTripCborSpec @CostModels v "cost_models"
-      cddlRoundTripAnnCborSpec @(Redeemers DijkstraEra) v "redeemers"
-      cddlRoundTripCborSpec @(Redeemers DijkstraEra) v "redeemers"
-      xdescribe "fix Tx" $ do
-        cddlRoundTripAnnCborSpec @(Tx TopTx DijkstraEra) v "transaction"
-        cddlRoundTripCborSpec @(Tx TopTx DijkstraEra) v "transaction"
-      cddlRoundTripCborSpec @(VotingProcedure DijkstraEra) v "voting_procedure"
-      cddlRoundTripCborSpec @(ProposalProcedure DijkstraEra) v "proposal_procedure"
-      cddlRoundTripCborSpec @(GovAction DijkstraEra) v "gov_action"
-      xdescribe "fix TxCert" $ do
-        cddlRoundTripCborSpec @(TxCert DijkstraEra) v "certificate"
-      describe "DecCBOR instances equivalence via CDDL" $ do
-        cddlDecoderEquivalenceSpec @(TxBody TopTx DijkstraEra) v "transaction_body"
-        xdescribe "Fix decoder equivalence of TxAuxData" $ do
-          cddlDecoderEquivalenceSpec @(TxAuxData DijkstraEra) v "auxiliary_data"
-        cddlDecoderEquivalenceSpec @(Timelock DijkstraEra) v "native_script"
-        cddlDecoderEquivalenceSpec @(Data DijkstraEra) v "plutus_data"
-        cddlDecoderEquivalenceSpec @(Script DijkstraEra) v "script"
-        cddlDecoderEquivalenceSpec @(TxWits DijkstraEra) v "transaction_witness_set"
-        cddlDecoderEquivalenceSpec @(Redeemers DijkstraEra) v "redeemers"
-        xdescribe "Fix decoder equivalence of Tx" $ do
-          cddlDecoderEquivalenceSpec @(Tx TopTx DijkstraEra) v "transaction"
-    describe "Huddle" $ specWithHuddle dijkstraCDDL 100 $ do
+    specWithHuddle dijkstraCDDL 100 $ do
       huddleRoundTripCborSpec @(Value DijkstraEra) v "positive_coin"
       huddleRoundTripArbitraryValidate @(Value DijkstraEra) v "value"
       describe "MultiAsset" $ do