cardano-ledger-shelley-test.cabal

cabal-version: 2.2

name:                cardano-ledger-shelley-test
version:             0.1.0.0
synopsis:            Test helpers from cardano-ledger-shelley exposed to other packages
license:             Apache-2.0
author:              IOHK
maintainer:          operations@iohk.io
build-type:          Simple

data-files:
  cddl-files/shelley.cddl
  cddl-files/real/crypto.cddl
  cddl-files/mock/extras.cddl
  test/Golden/ShelleyGenesis

source-repository head
  type: git
  location: https://github.com/input-output-hk/cardano-ledger.git
  subdir:   eras/shelley/test-suite

common base
  build-depends:      base >= 4.12 && < 4.15

common project-config
  default-language:   Haskell2010

  ghc-options:        -Wall
                      -Wcompat
                      -Wincomplete-record-updates
                      -Wincomplete-uni-patterns
                      -Wredundant-constraints
                      -Wunused-packages

library
  import:             base, project-config
  hs-source-dirs:     src
  exposed-modules:
    Test.Cardano.Crypto.VRF.Fake
    Test.Cardano.Ledger.TerseTools
    Test.Cardano.Ledger.Shelley.Address.Bootstrap
    Test.Cardano.Ledger.Shelley.Address.CompactAddr
    Test.Cardano.Ledger.Shelley.BenchmarkFunctions
    Test.Cardano.Ledger.Shelley.ByronTranslation
    Test.Cardano.Ledger.Shelley.ConcreteCryptoTypes
    Test.Cardano.Ledger.Shelley.Examples.Cast
    Test.Cardano.Ledger.Shelley.Examples.Consensus
    Test.Cardano.Ledger.Shelley.Examples.Federation
    Test.Cardano.Ledger.Shelley.Generator.Block
    Test.Cardano.Ledger.Shelley.Generator.Constants
    Test.Cardano.Ledger.Shelley.Generator.Core
    Test.Cardano.Ledger.Shelley.Generator.Delegation
    Test.Cardano.Ledger.Shelley.Generator.Metadata
    Test.Cardano.Ledger.Shelley.Generator.Presets
    Test.Cardano.Ledger.Shelley.Generator.Trace.Chain
    Test.Cardano.Ledger.Shelley.Generator.Trace.DCert
    Test.Cardano.Ledger.Shelley.Generator.Trace.Ledger
    Test.Cardano.Ledger.Shelley.Generator.Update
    Test.Cardano.Ledger.Shelley.Generator.Utxo
    Test.Cardano.Ledger.Shelley.Generator.EraGen
    Test.Cardano.Ledger.Shelley.Generator.ScriptClass
    Test.Cardano.Ledger.Shelley.Generator.ShelleyEraGen
    Test.Cardano.Ledger.Shelley.LaxBlock
    Test.Cardano.Ledger.Shelley.Orphans
    Test.Cardano.Ledger.Shelley.PropertyTests
    Test.Cardano.Ledger.Shelley.Rewards
    Test.Cardano.Ledger.Shelley.Rules.Chain
    Test.Cardano.Ledger.Shelley.Rules.ClassifyTraces
    Test.Cardano.Ledger.Shelley.Rules.TestChain
    Test.Cardano.Ledger.Shelley.Rules.TestDeleg
    Test.Cardano.Ledger.Shelley.Rules.TestPool
    Test.Cardano.Ledger.Shelley.Rules.TestPoolreap
    Test.Cardano.Ledger.Shelley.Serialisation.CDDLUtils
    Test.Cardano.Ledger.Shelley.Serialisation.Generators
    Test.Cardano.Ledger.Shelley.Serialisation.EraIndepGenerators
    Test.Cardano.Ledger.Shelley.Serialisation.Generators.Bootstrap
    Test.Cardano.Ledger.Shelley.Serialisation.Generators.Genesis
    Test.Cardano.Ledger.Shelley.Serialisation.GoldenUtils
    Test.Cardano.Ledger.Shelley.ShelleyTranslation
    Test.Cardano.Ledger.Shelley.Shrinkers
    Test.Cardano.Ledger.Shelley.Utils
    Test.TestScenario
  build-depends:
                QuickCheck >= 2.13.2,
                base16-bytestring >= 1,
                binary,
                bytestring,
                cardano-binary,
                cardano-crypto,
                cardano-crypto-class,
                cardano-crypto-test,
                cardano-crypto-wrapper,
                cardano-data,
                cardano-ledger-byron,
                cardano-ledger-byron-test,
                cardano-ledger-core,
                cardano-ledger-pretty,
                cardano-ledger-shelley,
                cardano-protocol-tpraos,
                cardano-slotting,
                cborg,
                containers,
                data-default-class,
                deepseq,
                generic-random,
                hashable,
                hedgehog >= 1.0.4,
                hedgehog-quickcheck,
                iproute,
                microlens,
                mtl,
                nothunks,
                plutus-ledger-api,
                process-extras,
                serialise,
                set-algebra,
                small-steps,
                small-steps-test,
                cardano-strict-containers,
                tasty,
                tasty-hunit,
                tasty-quickcheck,
                text,
                time,
                transformers,
                tree-diff,
                unliftio,
                vector,
                vector-map

test-suite cardano-ledger-shelley-test
  import:             base, project-config

  type:                exitcode-stdio-1.0
  main-is:             Tests.hs
  other-modules:
      Test.Cardano.Ledger.Shelley.Examples
      Test.Cardano.Ledger.Shelley.Examples.Combinators
      Test.Cardano.Ledger.Shelley.Examples.EmptyBlock
      Test.Cardano.Ledger.Shelley.Examples.Init
      Test.Cardano.Ledger.Shelley.Examples.GenesisDelegation
      Test.Cardano.Ledger.Shelley.Examples.NetworkID
      Test.Cardano.Ledger.Shelley.Examples.Mir
      Test.Cardano.Ledger.Shelley.Examples.MirTransfer
      Test.Cardano.Ledger.Shelley.Examples.PoolLifetime
      Test.Cardano.Ledger.Shelley.Examples.PoolReReg
      Test.Cardano.Ledger.Shelley.Examples.TwoPools
      Test.Cardano.Ledger.Shelley.Examples.Updates
      Test.Cardano.Ledger.Shelley.Fees
      Test.Cardano.Ledger.Shelley.MultiSigExamples
      Test.Cardano.Ledger.Shelley.Pretty
      Test.Cardano.Ledger.Shelley.SafeHash
      Test.Cardano.Ledger.Shelley.Serialisation
      Test.Cardano.Ledger.Shelley.Serialisation.CDDL
      Test.Cardano.Ledger.Shelley.Serialisation.Golden.Address
      Test.Cardano.Ledger.Shelley.Serialisation.Golden.Encoding
      Test.Cardano.Ledger.Shelley.Serialisation.Golden.Genesis
      Test.Cardano.Ledger.Shelley.Serialisation.Tripping.CBOR
      Test.Cardano.Ledger.Shelley.Serialisation.Tripping.JSON
      Test.Cardano.Ledger.Shelley.RulesTests
      Test.Cardano.Ledger.Shelley.UnitTests
      Paths_cardano_ledger_shelley_test
  hs-source-dirs:      test
  ghc-options:
      -threaded
      -rtsopts
      -with-rtsopts=-N
      -- 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 250 megabytes heap bound were
      -- determined ad-hoc.
      "-with-rtsopts=-K4m -M250m"
  build-depends:
                QuickCheck,
                aeson >= 2,
                base16-bytestring >= 1,
                binary,
                bytestring,
                cardano-binary,
                cardano-crypto-class,
                cardano-data,
                cardano-ledger-byron,
                cardano-ledger-core,
                cardano-ledger-pretty,
                cardano-ledger-shelley,
                cardano-ledger-shelley-test,
                cardano-protocol-tpraos,
                cardano-slotting,
                cborg,
                containers,
                data-default-class,
                groups,
                hedgehog >= 1.0.4,
                iproute,
                microlens,
                prettyprinter,
                scientific,
                small-steps,
                small-steps-test,
                cardano-strict-containers,
                tasty,
                tasty-hedgehog,
                tasty-hunit,
                tasty-quickcheck,
                time


benchmark mainbench
  import:             base, project-config

  type:             exitcode-stdio-1.0
  hs-source-dirs:
    bench
  main-is:          Main.hs
  other-modules:
    BenchUTxOAggregate,
    BenchValidation,
    Cardano.Ledger.Shelley.Bench.Gen
    Cardano.Ledger.Shelley.Bench.Rewards

  build-depends:
                QuickCheck,
                cardano-crypto-class,
                cardano-crypto-praos,
                cardano-data,
                cardano-ledger-core,
                cardano-ledger-shelley,
                cardano-ledger-shelley-test,
                cardano-protocol-tpraos,
                cardano-slotting,
                containers,
                criterion,
                deepseq,
                mtl,
                set-algebra,
                small-steps,
                small-steps-test,
                cardano-strict-containers,
                transformers
  ghc-options:
      -threaded
      -rtsopts
      -O2