Information for RPM ghc-lazysmallcheck-0.6-42.rvre0.fc38.src.rpm
| ID | 1028465 | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Name | ghc-lazysmallcheck | ||||||||
| Version | 0.6 | ||||||||
| Release | 42.rvre0.fc38 | ||||||||
| Epoch | |||||||||
| Arch | src | ||||||||
| Summary | A library for demand-driven testing of Haskell programs | ||||||||
| Description | Lazy SmallCheck is a library for exhaustive, demand-driven testing of Haskell programs. It is based on the idea that if a property holds for a partially-defined input then it must also hold for all fully-defined refinements of the that input. Compared to ``eager'' input generation as in SmallCheck, Lazy SmallCheck may require significantly fewer test-cases to verify a property for all inputs up to a given depth. | ||||||||
| Build Time | 2023-06-22 18:32:09 GMT | ||||||||
| Size | 33.89 KB | ||||||||
| bbae76d258f2134dc7e4e2d93b9f56d2 | |||||||||
| License | BSD-3-Clause | ||||||||
| Buildroot | f38-build-725644-99707 | ||||||||
| Provides |
|
||||||||
| Obsoletes | No Obsoletes | ||||||||
| Conflicts | No Conflicts | ||||||||
| Requires |
|
||||||||
| Recommends | No Recommends | ||||||||
| Suggests | No Suggests | ||||||||
| Supplements | No Supplements | ||||||||
| Enhances | No Enhances | ||||||||
| Files |
|
||||||||
| Component of | No Buildroots | ||||||||
