Wed, 23 Mar 2011 08:50:32 +0100 | bulwahn | adapting mutabelle; exporting more Quickcheck functions | changeset | files |
Wed, 23 Mar 2011 08:50:31 +0100 | bulwahn | making quickcheck's result value more formal; allowing more result information to be returned after timeout; adding output of timing information in quickcheck | changeset | files |
Wed, 23 Mar 2011 08:50:29 +0100 | bulwahn | changing timeout behaviour of quickcheck to proceed after command rather than failing; adding a test case for timeout | changeset | files |