Create shelley-ma test package and move existing existing shelley-ma …

…tests

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

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,