# quickcheck-lockstep

[![Hackage Version](https://img.shields.io/hackage/v/quickcheck-lockstep?label=hackage%20quickcheck-lockstep)](https://hackage.haskell.org/package/quickcheck-lockstep)
[![Haskell CI](https://img.shields.io/github/actions/workflow/status/well-typed/quickcheck-lockstep/haskell.yml?label=Build)](https://github.com/well-typed/quickcheck-lockstep/actions/workflows/haskell.yml)

`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.