The latest version of quickcheck-lockstep is 0.6.0-0.
quickcheck-lockstep
Version 0.3.0 revision 0 uploaded by jdral.
Package meta
- Synopsis
- Library for lockstep-style testing with 'quickcheck-dynamic'
- Description
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.
- Author
- Edsko de Vries
- Bug reports
- n/a
- Category
- Testing
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- edsko@well-typed.com, joris@well-typed.com
- Package URL
- n/a
- Stability
- n/a