Thu, 01 Dec 2011 22:14:35 +0100 | bulwahn | changing the exhaustive generator signatures; | changeset | files |
Thu, 01 Dec 2011 22:14:35 +0100 | bulwahn | quickcheck's compilation returns if it is genuine counterexample or a counterexample due to a match exception | changeset | files |
Thu, 01 Dec 2011 22:14:35 +0100 | bulwahn | adding examples for quickcheck-random | changeset | files |