| Fri, 03 Dec 2010 08:40:47 +0100 | bulwahn | improving presentation of quickcheck reports | changeset | files |
| Fri, 03 Dec 2010 08:40:47 +0100 | bulwahn | declaring quickcheck testers as default after their setup | changeset | files |
| Fri, 03 Dec 2010 08:40:47 +0100 | bulwahn | activating construction of exhaustive testing combinators | changeset | files |
| Fri, 03 Dec 2010 08:40:47 +0100 | bulwahn | renamed generator into exhaustive | changeset | files |
| Fri, 03 Dec 2010 08:40:47 +0100 | bulwahn | checking if parameter is name of a tester which allows e.g. quickcheck[random] | changeset | files |
| Fri, 03 Dec 2010 08:40:47 +0100 | bulwahn | moving iteration of tests to the testers in quickcheck | changeset | files |
| Fri, 03 Dec 2010 08:40:47 +0100 | bulwahn | removed dead test_term_small function in quickcheck | changeset | files |