Added cardano-ledger-conformance

cabal.project

@@ -10,6 +10,11 @@ repository cardano-haskell-packages
     c00aae8461a256275598500ea0e187588c35a5d5d7454fb57eac18d9edb86a56
     d4a35cd3121aa00d18544bb0ac01c3e1691d618f462c46129271bccf39f7e8ee
 
+source-repository-package
+  type: git
+  location: https://github.com/input-output-hk/cardano-ledger-executable-spec.git
+  tag: 1dc69a3b8b80838ffa38a600879ae530c0fcab16
+
 index-state:
   -- Bump this if you need newer packages from Hackage
   , hackage.haskell.org 2023-09-29T00:20:27Z
@@ -55,6 +60,7 @@ packages:
   eras/byron/crypto/test
 
   -- Packages used during development and are not released to CHaPs:
+  libs/cardano-ledger-conformance
   libs/cardano-ledger-test
   libs/plutus-preprocessor
   libs/ledger-state

hie.yaml

@@ -177,6 +177,9 @@ cradle:
     - path: "libs/cardano-ledger-binary/test"
       component: "cardano-ledger-binary:test:tests"
 
+    - path: "libs/cardano-ledger-conformance/src"
+      component: "lib:cardano-ledger-conformance"
+
     - path: "libs/cardano-ledger-core/src"
       component: "lib:cardano-ledger-core"
 

libs/cardano-ledger-conformance/Setup.hs

@@ -0,0 +1,3 @@
+import Distribution.Simple
+
+main = defaultMain

libs/cardano-ledger-conformance/cardano-ledger-conformance.cabal

@@ -0,0 +1,36 @@
+cabal-version:      3.0
+name:               cardano-ledger-conformance
+version:            0.1.0.0
+license:            Apache-2.0
+maintainer:         operations@iohk.io
+author:             IOHK
+bug-reports:        https://github.com/input-output-hk/cardano-ledger/issues
+synopsis:           Testing utilities for conformance testing
+description:        Testing utilities for conformance testing
+build-type:         Simple
+extra-source-files: CHANGELOG.md
+
+source-repository head
+    type:     git
+    location: https://github.com/input-output-hk/cardano-ledger
+    subdir:   libs/cardano-ledger-conformance
+
+flag asserts
+    description: Enable assertions
+    default:     False
+
+library
+    exposed-modules:  Test.Cardano.Ledger.Conformance
+    hs-source-dirs:   src
+    default-language: Haskell2010
+    ghc-options:
+        -Wall -Wcompat -Wincomplete-record-updates
+        -Wincomplete-uni-patterns -Wredundant-constraints -Wpartial-fields
+        -Wunused-packages
+
+    build-depends:
+        base >=4.14 && <4.19,
+        cardano-ledger-executable-spec
+
+    if flag(asserts)
+        ghc-options: -fno-ignore-asserts

libs/cardano-ledger-conformance/src/Test/Cardano/Ledger/Conformance.hs

@@ -0,0 +1,10 @@
+module Test.Cardano.Ledger.Conformance (
+
+) where
+
+import Lib (TxBody)
+
+-- Placeholder so that the compiler wouldn't complain about
+-- `cardano-ledger-executable-spec` being a redundant dependency
+_placeholder :: TxBody
+_placeholder = undefined