cardano-ledger-test-0.1.1.1

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

Timestamp

2022-11-11T00:24:50Z

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-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-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.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","microlens","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"]