small-steps-test-0.1.1.2

Synopsis

Small step semantics testing library

Description

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
760a73e89ef040d3ad91b4b0386b3bbace9431a9
Subdir
libs/small-steps-test
Timestamp

2022-11-14T13:25:11Z

Revisions

2024-06-27T01:45:32Z

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