Ubuntu
haskell-lazysmallcheck package

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 Pocket 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.