Skip to content
  • Iustin Pop's avatar
    Make the test suite return an reasonable exit code · 38f536cb
    Iustin Pop authored
    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.
    38f536cb