This is just a quick announcement that the development version of
QuickCheck 2 is now available in a public darcs repository.
Some highlights:
- Shrinks failing test cases.
- Supports testing monadic code.
- Handles exceptions gracefully.
- coarbitrary has moved to a separate class, to make it easier
to write simple instances of Arbitrary.
- Type-level modifiers for changing test data generation
(e.g. NonNegative).
- Magic function table printing.
- User-defined actions when properties fail.
You can get it with:
darcs get http://www.cs.chalmers.se/~bringert/darcs/QuickCheck/
This is a development version, and the API is not necessarily stable
yet. It uses the same module names as QuickCheck 1, Test.QuickCheck.*,
but it breaks backwards compatibility in many cases. Use explicit
package versioning if you need to use it alongside QuickCheck 1.
You can build the code and API documentation with Cabal, see README for
instructions.
Happy hacking!
Koen & Björn