@hackage quickcheck-lockstep0.6.0

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

Lockstep-style testing is a particular approach for blackbox testing of stateful APIs: we generate a random sequence of APIs calls, then execute them both against the system under test and against a model, and compare responses up to some notion of observability.