cardano-ledger-test-0.1.1.2

Synopsis

Testing harness, tests and benchmarks for Shelley style cardano ledgers

Description

Author

IOHK Formal Methods Team

Maintainer

[email protected]

License

Apache-2.0

Source
https://github.com/input-output-hk/cardano-ledger
Commit hash
760a73e89ef040d3ad91b4b0386b3bbace9431a9
Subdir
libs/cardano-ledger-test
Timestamp

2022-11-14T13:25:11Z

Revisions

None

Dependencies
library cardano-ledger-test:
  • ["base >=4.12 && <4.17","aeson >=2","array","bytestring","cardano-binary","cardano-crypto-class","cardano-data","cardano-ledger-alonzo","cardano-ledger-alonzo-test","cardano-ledger-babbage","cardano-ledger-conway","cardano-ledger-core","cardano-ledger-pretty","cardano-ledger-shelley-ma","cardano-protocol-tpraos","cardano-slotting","containers","vector-map","data-default-class","deepseq","genvalidity","genvalidity-scientific","groups","hkd","lens","microlens","monad-supply","mtl","nothunks","plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.1","plutus-core","plutus-tx","prettyprinter","profunctors","QuickCheck","quickcheck-instances","QuickCheck-GenT","quiet","random","scientific","cardano-ledger-shelley","cardano-ledger-shelley-test","cardano-ledger-babbage-test","semigroupoids","small-steps","small-steps-test","set-algebra","some","cardano-strict-containers","tagged","tasty","tasty-hunit","tasty-quickcheck","text","time","transformers","vector","writer-cps-mtl"]
test-suite bench:
  • ["base >=4.12 && <4.17","bytestring","cardano-binary","cardano-crypto-class","cardano-data","cardano-ledger-alonzo","cardano-ledger-alonzo-test","cardano-ledger-core","cardano-ledger-shelley-ma-test","cardano-ledger-shelley-ma","vector-map","containers","criterion","data-default-class","deepseq","QuickCheck","cardano-ledger-shelley","cardano-ledger-shelley-test","microlens","random","small-steps","small-steps-test","text"]
test-suite benchProperty:
  • ["base >=4.12 && <4.17","cardano-ledger-alonzo","cardano-ledger-alonzo-test","cardano-ledger-shelley-ma-test","small-steps","cardano-ledger-shelley","cardano-ledger-shelley-test","tasty-quickcheck","tasty"]