Revision 38f536cb
| ID | 38f536cb98e500ee6edf749746a344a70e114df5 |
| Parent | fbb95f28 |
| Child | 12fa49b3 |
Make the test suite return an reasonable exit code
Test.QuickCheck.Batch.runTests doesn't return any error statistics,
which makes the test suite just display errorrs and always exit with
exit code 0. This is not good, since one cannot then actually batch run
tests.
This patch adds a wrapper over Batch.run which also modifies a passed
IORef Int to keep track of how many test failures or test aborts we had.
This makes it easy then to exit with an appropriate exit code.
Files
- added
- modified
- copied
- renamed
- deleted