| 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 |