Information for RPM ghc-lazysmallcheck-0.6-43.fc40.riscv64.rpm
| ID | 1096748 | |||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Name | ghc-lazysmallcheck | |||||||||||||||
| Version | 0.6 | |||||||||||||||
| Release | 43.fc40 | |||||||||||||||
| Epoch | ||||||||||||||||
| Arch | riscv64 | |||||||||||||||
| 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-11-17 11:57:00 GMT | |||||||||||||||
| Size | 41.45 KB | |||||||||||||||
| 474c0c8ae831e6533163e0316964a20c | ||||||||||||||||
| License | BSD-3-Clause | |||||||||||||||
| Buildroot | f40-build-742235-110610 | |||||||||||||||
| Provides |
|
|||||||||||||||
| Obsoletes | No Obsoletes | |||||||||||||||
| Conflicts | No Conflicts | |||||||||||||||
| Requires |
|
|||||||||||||||
| Recommends | No Recommends | |||||||||||||||
| Suggests | No Suggests | |||||||||||||||
| Supplements | No Supplements | |||||||||||||||
| Enhances | No Enhances | |||||||||||||||
| Files | ||||||||||||||||
| Component of |
|
|||||||||||||||
