haskell-lazysmallcheck 0.6-1 source package in Ubuntu
Changelog
haskell-lazysmallcheck (0.6-1) unstable; urgency=low * New upstream release -- Joachim Breitner <email address hidden> Sat, 04 Feb 2012 12:05:00 +0100
Upload details
- Uploaded by:
- Debian Haskell Group
- Uploaded to:
- Sid
- Original maintainer:
- Debian Haskell Group
- Architectures:
- any
- Section:
- haskell
- Urgency:
- Low Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Precise | release | universe | haskell |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
haskell-lazysmallcheck_0.6-1.dsc | 1.5 KiB | dc885b72e122e6f5cacc92139a5fe569ae6f891a74cffbffefb51221bdeb9385 |
haskell-lazysmallcheck_0.6.orig.tar.gz | 16.5 KiB | 9dd4dfb590c77e4f6aff68296602de58422eed5e7148fc29190d875a4e7d0f53 |
haskell-lazysmallcheck_0.6-1.debian.tar.gz | 2.5 KiB | 68146a106e1f0f7832d0fe9423f574c079953e57651af2af9ee3c22b3cfeab50 |
Available diffs
No changes file available.
Binary packages built by this source
- libghc-lazysmallcheck-dev: A library for demand-driven testing of Haskell programs
This package provides a library for the Haskell programming language.
.
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.
- libghc-lazysmallcheck-prof: A library for demand-driven testing of Haskell programs; profiling libraries
This package provides a library for the Haskell programming language,
compiled for profiling.
.
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.