Merge pull request #1940 from input-output-hk/uroboros/shelley-ma-tes…

…t-pkg

Create shelley-ma test package

cabal.project

@@ -13,6 +13,7 @@ packages:
   shelley/chain-and-ledger/executable-spec
   shelley/chain-and-ledger/shelley-spec-ledger-test
   shelley-ma/impl
+  shelley-ma/shelley-ma-test
 
 -- Always wrtie GHC env files, because they are needed by the doctests.
 write-ghc-environment-files: always

hie.yaml

@@ -53,3 +53,9 @@ cradle:
 
     - path: "shelley-ma/impl/src"
       component: "lib:cardano-ledger-shelley-ma"
+
+    - path: "shelley-ma/shelley-ma-test/src"
+      component: "lib:cardano-ledger-shelley-ma-test"
+
+    - path: "shelley-ma/shelley-ma-test/test"
+      component: "cardano-ledger-shelley-ma-test:test:cardano-ledger-shelley-ma-test"

scripts/ghcid

@@ -10,6 +10,7 @@ PACKAGES=(
   shelley/chain-and-ledger/executable-spec
   shelley/chain-and-ledger/shelley-spec-ledger-test
   shelley-ma/impl
+  shelley-ma/shelley-ma-test
 )
 
 ghcid_for_package () {

shelley-ma/impl/cardano-ledger-shelley-ma.cabal

@@ -55,50 +55,3 @@ library
     -Wredundant-constraints
     -Wpartial-fields
   default-language:    Haskell2010
-
-
-test-suite cardano-ledger-test
-    type:                exitcode-stdio-1.0
-    main-is:             Tests.hs
-    other-modules:
-      Test.Cardano.Ledger.ShelleyMA.TxBody
-      Test.Cardano.Ledger.ShelleyMA.Timelocks
-
-    hs-source-dirs:      test
-    default-language:    Haskell2010
-    ghc-options:
-      -threaded
-      -rtsopts
-      -with-rtsopts=-N
-      -Wall
-      -Wcompat
-      -Wincomplete-record-updates
-      -Wincomplete-uni-patterns
-      -Wredundant-constraints
-      -- We set a bound here so that we're alerted of potential space
-      -- leaks in our generators (or test) code.
-      --
-      -- The 4 megabytes stack bound and 200 megabytes heap bound were
-      -- determined ad-hoc.
-      "-with-rtsopts=-K4m -M250m"
-    build-depends:
-      cardano-ledger-shelley-ma,
-      base >=4.9 && <4.15,
-      bytestring,
-      cardano-binary,
-      cardano-crypto-class,
-      cardano-crypto-praos,
-      cardano-prelude,
-      cardano-slotting,
-      cborg,
-      containers,
-      deepseq,
-      groups,
-      nothunks,
-      partial-order,
-      shelley-spec-ledger,
-      small-steps,
-      tasty-hedgehog,
-      tasty-hunit,
-      tasty-quickcheck,
-      tasty,

shelley-ma/shelley-ma-test/.ghcid

@@ -0,0 +1 @@
+-c "nix-shell ../../shell.nix --run \"cabal repl -f development cardano-ledger-shelley-ma-test\"" -o ghcid.txt

shelley-ma/shelley-ma-test/cardano-ledger-shelley-ma-test.cabal

@@ -0,0 +1,98 @@
+cabal-version:       2.2
+name:                cardano-ledger-shelley-ma-test
+version:             0.1.0.0
+synopsis:            Shelley ledger with multiasset and time lock support.
+description:
+  This package extends the Shelley ledger with support for
+  native tokens and timelocks.
+bug-reports:         https://github.com/input-output-hk/cardano-ledger-specs/issues
+license:             Apache-2.0
+author:              IOHK Formal Methods Team
+maintainer:          formal.methods@iohk.io
+copyright:           2020 Input Output (Hong Kong) Ltd.
+category:            Network
+build-type:          Simple
+
+source-repository head
+  type:     git
+  location: https://github.com/input-output-hk/cardano-ledger-specs
+
+library
+  exposed-modules:
+    Test.Cardano.Ledger.ShelleyMA.TxBody
+    Test.Cardano.Ledger.ShelleyMA.Timelocks
+
+  -- other-extensions:
+  build-depends:
+    cardano-ledger-shelley-ma,
+    base >=4.9 && <4.15,
+    bytestring,
+    cardano-binary,
+    cardano-crypto-class,
+    cardano-crypto-praos,
+    cardano-prelude,
+    cardano-slotting,
+    cborg,
+    containers,
+    deepseq,
+    groups,
+    nothunks,
+    partial-order,
+    shelley-spec-ledger,
+    small-steps,
+    tasty-hedgehog,
+    tasty-hunit,
+    tasty-quickcheck,
+    tasty,
+  hs-source-dirs: src
+  ghc-options:
+    -Wall
+    -Wcompat
+    -Wincomplete-record-updates
+    -Wincomplete-uni-patterns
+    -Wredundant-constraints
+    -Wpartial-fields
+  default-language:    Haskell2010
+
+
+test-suite cardano-ledger-shelley-ma-test
+    type:                exitcode-stdio-1.0
+    main-is:             Tests.hs
+    hs-source-dirs:      test
+    default-language:    Haskell2010
+    ghc-options:
+      -threaded
+      -rtsopts
+      -with-rtsopts=-N
+      -Wall
+      -Wcompat
+      -Wincomplete-record-updates
+      -Wincomplete-uni-patterns
+      -Wredundant-constraints
+      -- We set a bound here so that we're alerted of potential space
+      -- leaks in our generators (or test) code.
+      --
+      -- The 4 megabytes stack bound and 200 megabytes heap bound were
+      -- determined ad-hoc.
+      "-with-rtsopts=-K4m -M250m"
+    build-depends:
+      cardano-ledger-shelley-ma-test,
+      base >=4.9 && <4.15,
+      bytestring,
+      cardano-binary,
+      cardano-crypto-class,
+      cardano-crypto-praos,
+      cardano-prelude,
+      cardano-slotting,
+      cborg,
+      containers,
+      deepseq,
+      groups,
+      nothunks,
+      partial-order,
+      shelley-spec-ledger,
+      small-steps,
+      tasty-hedgehog,
+      tasty-hunit,
+      tasty-quickcheck,
+      tasty,