Paketname | libghc6-lazysmallcheck-dev |
Beschreibung | A library for demand-driven testing of Haskell programs |
Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
Version | 0.5-1 |
Sektion | universe/haskell |
Priorität | optional |
Installierte Größe | 428 Byte |
Hängt ab von | libghc6-base-dev-3.0.3.2-52ace, libghc6-haskell98-dev-1.0.1.1-0fdaf, libc6 (>= 2.4), libffi5 (>= 3.0 |
Empfohlene Pakete | |
Paketbetreuer | Ubuntu Developers |
Quelle | haskell-lazysmallcheck |
Paketgröße | 66178 Byte |
Prüfsumme MD5 | eadd1b75b47d32db57b6c14761690c22 |
Prüfsumme SHA1 | 230dabf34d6d8e21f5230fb398705f036b2df749 |
Prüfsumme SHA256 | 28e9291258f76ce452f72aa6f52145b24d59f047a3b0fb23b34d567a120e031e |
Link zum Herunterladen | libghc6-lazysmallcheck-dev_0.5-1_i386.deb |
Ausführliche Beschreibung | 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.
|