Information for RPM ghc-lazysmallcheck-0.6-45.fc40.src.rpm
ID | 1179322 | ||||||||
---|---|---|---|---|---|---|---|---|---|
Name | ghc-lazysmallcheck | ||||||||
Version | 0.6 | ||||||||
Release | 45.fc40 | ||||||||
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 | 2024-02-14 19:38:49 GMT | ||||||||
Size | 34.29 KB | ||||||||
728d54d21b5bb5dc4e4b75c3d1f3d795 | |||||||||
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 | No Buildroots |