See https://well-typed.com/blog/2022/09/lockstep-with-quickcheck-dynamic/ for a tutorial.
well-typed / quickcheck-lockstep Goto Github PK
View Code? Open in Web Editor NEWSupport for lockstep-style testing using quickcheck-dynamic
License: BSD 3-Clause "New" or "Revised" License