Revision 8c5652f6
ID | 8c5652f6334990fc0564f842220c8b73446aa996 |
Parent | 9e35522c |
Child | c088674b |
Modify the test runner to show test exceptions
QuickCheck's batch driver (at least v1) doesn't show the test aborts,
but simply discards the specific exception and increases the abort
count. This makes it hard to debug the tests, so we modify our own test
wrapper (which so far only tracked total failures) to show any
exceptions.
Files
- added
- modified
- copied
- renamed
- deleted