cardano-ledger-test-0.1.0.0

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
c7c63dabdb215ebdaed8b63274965966f2bf408f
Subdir
libs/cardano-ledger-test
Timestamp

2022-10-17T00:00:00Z

Revisions

None

Dependencies
library cardano-ledger-test:
  • ["base >=4.12 && <4.15","aeson >=2","array","bytestring","cardano-binary","cardano-crypto-class","cardano-data","cardano-ledger-alonzo","cardano-ledger-alonzo-test","cardano-ledger-babbage","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","monad-supply","mtl","plutus-ledger-api","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","strict-containers","tagged","tasty","tasty-hunit","tasty-quickcheck","text","time","transformers","vector","writer-cps-mtl"]
test-suite bench:
  • ["base >=4.12 && <4.15","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","random","small-steps","small-steps-test","text"]
test-suite benchProperty:
  • ["base >=4.12 && <4.15","cardano-ledger-alonzo","cardano-ledger-alonzo-test","cardano-ledger-shelley-ma-test","QuickCheck","small-steps","cardano-ledger-shelley","cardano-ledger-shelley-test","tasty-quickcheck","tasty"]