Information for RPM ghc-lazysmallcheck-0.6-48.fc41.riscv64.rpm
| ID | 1424154 | |||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Name | ghc-lazysmallcheck | |||||||||||||||
| Version | 0.6 | |||||||||||||||
| Release | 48.fc41 | |||||||||||||||
| 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 | 2024-08-11 08:47:32 GMT | |||||||||||||||
| Size | 34.31 KB | |||||||||||||||
| ad5a5407749cf4548d58f8fa0fe9bb3f | ||||||||||||||||
| License | BSD-3-Clause | |||||||||||||||
| Buildroot | f41-build-837681-159296 | |||||||||||||||
| Provides |
|
|||||||||||||||
| Obsoletes | No Obsoletes | |||||||||||||||
| Conflicts | No Conflicts | |||||||||||||||
| Requires |
|
|||||||||||||||
| Recommends | No Recommends | |||||||||||||||
| Suggests | No Suggests | |||||||||||||||
| Supplements | No Supplements | |||||||||||||||
| Enhances | No Enhances | |||||||||||||||
| Files | ||||||||||||||||
| Component of |
|
|||||||||||||||
