| Copyright | (c) Leon Vatthauer 2026 |
|---|---|
| License | GPL-3 |
| Maintainer | Leon Vatthauer <leon.vatthauer@fau.de> |
| Stability | experimental |
| Portability | non-portable (GHC extensions) |
| Safe Haskell | None |
| Language | GHC2024 |
Main
Description
Entry point for testing. Runs the test suite using the Tasty framework.
QuickCheck is configured with:
coverageReporter: shows code coverage.QuickCheckTests500— number of tests run per property.QuickCheckMaxRatio50— maximum ratio of discarded tests before a property is abandoned.