« Previous | Next » 

Revision 8c5652f6

ID8c5652f6334990fc0564f842220c8b73446aa996
Parent 9e35522c
Child c088674b

Added by Iustin Pop almost 14 years ago

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

View differences