| Mon, 18 Jul 2011 10:34:21 +0200 | bulwahn | changed every tester to have a configuration in quickcheck; enabling parallel testing of different testers in quickcheck | changeset | files |
| Mon, 18 Jul 2011 10:34:21 +0200 | bulwahn | removing generator registration | changeset | files |
| Mon, 18 Jul 2011 10:34:21 +0200 | bulwahn | parametrized test_term functions in quickcheck | changeset | files |