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 |