Mon, 18 Jul 2011 10:34:21 +0200 | bulwahn | adapting mutabelle to latest changes in quickcheck; removing unused code in mutabelle | changeset | files |
Mon, 18 Jul 2011 10:34:21 +0200 | bulwahn | renaming quickcheck_tester to quickcheck_batch_tester; tuned | changeset | files |
Mon, 18 Jul 2011 10:34:21 +0200 | bulwahn | changing parser in quickcheck to activate and deactivate the testers | changeset | files |