@hackage / quickcheck-lockstep

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