Information for RPM ghc-lazysmallcheck-0.6-45.fc40.riscv64.rpm
| ID | 1179326 | |||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Name | ghc-lazysmallcheck | |||||||||||||||
| Version | 0.6 | |||||||||||||||
| Release | 45.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 | 2024-02-14 19:42:56 GMT | |||||||||||||||
| Size | 41.51 KB | |||||||||||||||
| 479845c0ecc975db7c3dec82742ad97e | ||||||||||||||||
| License | BSD-3-Clause | |||||||||||||||
| Buildroot | f40-build-776103-128585 | |||||||||||||||
| Provides |
|
|||||||||||||||
| Obsoletes | No Obsoletes | |||||||||||||||
| Conflicts | No Conflicts | |||||||||||||||
| Requires |
|
|||||||||||||||
| Recommends | No Recommends | |||||||||||||||
| Suggests | No Suggests | |||||||||||||||
| Supplements | No Supplements | |||||||||||||||
| Enhances | No Enhances | |||||||||||||||
| Files | ||||||||||||||||
| Component of |
|
|||||||||||||||
