| Mon, 18 Jul 2011 10:34:21 +0200 | bulwahn | adapting quickcheck based on the analysis of the predicate compiler | changeset | files |
| Mon, 18 Jul 2011 10:34:21 +0200 | bulwahn | adapting prolog-based tester | changeset | files |
| Mon, 18 Jul 2011 10:34:21 +0200 | bulwahn | quickcheck does not deactivate testers if none are given | changeset | files |