@hackage quickcheck-lockstep0.6.0

Library for lockstep-style testing with 'quickcheck-dynamic'

Categories
- Testing
License
BSD-3-Clause
Maintainer
edsko@well-typed.com, joris@well-typed.com
Links
Versions
- 0.6.0 Tue, 3 Dec 2024
- 0.5.1 Tue, 27 Aug 2024
- 0.5.0 Thu, 30 May 2024
- 0.4.1 Wed, 20 Mar 2024
- 0.4.0 Sat, 17 Feb 2024
- 0.3.0 Mon, 23 Oct 2023

Installation
In your cabal file:
Dependencies (6)
- base >=4.14 && <4.21
- containers ^>=0.6 || ^>=0.7
- mtl ^>=2.2 || ^>=2.3
- QuickCheck ^>=2.14 || ^>=2.15
- constraints ^>=0.13 || ^>=0.14
- quickcheck-dynamic ^>=3.4.1
Dependents (1)
@cardano/cardano-lmdb-simple

quickcheck-lockstep

quickcheck-lockstep is a library for lockstep-style testing with quickcheck-dynamic

See https://well-typed.com/blog/2022/09/lockstep-with-quickcheck-dynamic/ for a tutorial.