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