small-steps-test-1.0.1.0

Synopsis

Small step semantics testing library

Description

Author

IOHK

Maintainer

[email protected]

License

Apache-2.0

Source
https://github.com/IntersectMBO/cardano-ledger
Commit hash
6e2d37cc0f47bd02e89b4ce9f78b59c35c958e96
Subdir
libs/small-steps-test
Timestamp

2024-01-26T10:34:07Z

Revisions

None

Dependencies
library small-steps-test:
  • ["base >=4.14 && <5","deepseq","cardano-ledger-binary:testlib ^>=1.3","hedgehog >=1.0.4","tasty-hunit","microlens","microlens-th","mtl","nothunks","transformers >=0.5","QuickCheck","small-steps >=1.0","cardano-strict-containers"]
test-suite examples:
  • ["base","containers","hedgehog >=1.0.4","mtl","tasty","tasty-hedgehog","tasty-expected-failure","QuickCheck","tasty-quickcheck","tasty-hunit","Unique","cardano-crypto-class","cardano-ledger-binary","small-steps","small-steps-test"]