| Mon, 22 Nov 2010 11:34:54 +0100 | bulwahn | splitting test_goal function in two functions; exporting new configurations in quickcheck; iterations depend on generator_name in quickcheck | changeset | files |
| Mon, 22 Nov 2010 11:34:53 +0100 | bulwahn | adding prototype for finite_type instantiations | changeset | files |
| Mon, 22 Nov 2010 11:34:52 +0100 | bulwahn | adding option finite_types to quickcheck | changeset | files |
| Mon, 22 Nov 2010 11:34:50 +0100 | bulwahn | adding test cases for smallcheck and adding examples where exhaustive testing is more successful | changeset | files |
| Mon, 22 Nov 2010 10:42:07 +0100 | bulwahn | changed old-style quickcheck configurations to new Config.T configurations | changeset | files |
| Mon, 22 Nov 2010 10:42:06 +0100 | bulwahn | adding temporary function test_test_small to Quickcheck | changeset | files |