| Thu, 01 Dec 2011 22:14:35 +0100 | bulwahn | reporting random compilation also catches match exceptions internally | changeset | files |
| Thu, 01 Dec 2011 22:14:35 +0100 | bulwahn | the narrowing also indicates if counterexample is potentially spurious | changeset | files |
| Thu, 01 Dec 2011 22:14:35 +0100 | bulwahn | the simple exhaustive compilation also indicates if counterexample is potentially spurious; | changeset | files |
| Thu, 01 Dec 2011 22:14:35 +0100 | bulwahn | quickcheck-random compilation also indicates if the counterexample is potentially spurious or not | changeset | files |
| 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 |