cardano-ledger-shelley-ma-test-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.

Author

IOHK Formal Methods Team

Maintainer

formal.methods@iohk.io

License

Apache-2.0

Source
https://github.com/input-output-hk/cardano-ledger
Commit hash
c7c63dabdb215ebdaed8b63274965966f2bf408f
Subdir
eras/shelley-ma/test-suite
Timestamp

2022-10-17T00:00:00Z

Revisions

None

Dependencies
library cardano-ledger-shelley-ma-test:
  • ["base >=4.12 && <4.15","base16-bytestring","bytestring","cardano-binary","cardano-data","cardano-crypto-class","cardano-ledger-core","cardano-ledger-pretty","cardano-ledger-shelley-ma","cardano-slotting","cborg","containers","generic-random","hashable","mtl","QuickCheck >=2.13.2","cardano-ledger-shelley-test","cardano-ledger-shelley","strict-containers","tasty-hunit","tasty-quickcheck","tasty","text"]
test-suite cardano-ledger-shelley-ma-test:
  • ["base >=4.12 && <4.15","bytestring","cardano-binary","cardano-data","cardano-ledger-core","cardano-ledger-shelley-ma-test","cardano-ledger-shelley-ma","cardano-protocol-tpraos","cardano-slotting","cborg","containers","data-default-class","mtl","QuickCheck","cardano-ledger-shelley-test","cardano-ledger-shelley","small-steps-test","small-steps","strict-containers","tasty-hunit","tasty-quickcheck","tasty"]