| Fri, 18 Mar 2011 18:19:42 +0100 | bulwahn | passing a term with free variables to the quickcheck tester functions instead of an lambda expression because this is more natural with passing further evaluation terms; added output of evaluation terms; added evaluation of terms in the exhaustive testing | changeset | files |
| Fri, 18 Mar 2011 18:19:42 +0100 | bulwahn | extending the test data generators to take the evaluation terms as arguments | changeset | files |
| Fri, 18 Mar 2011 18:19:42 +0100 | bulwahn | adding option of evaluating terms after invocation in quickcheck | changeset | files |
| Fri, 18 Mar 2011 18:19:42 +0100 | bulwahn | adding eval option to quickcheck | changeset | files |