Paketname | libghc6-lazysmallcheck-prof |
Beschreibung | A library for demand-driven testing of Haskell programs; profiling libraries |
Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
Version | 0.5-1 |
Sektion | universe/haskell |
Priorität | optional |
Installierte Größe | 280 Byte |
Hängt ab von | libghc6-lazysmallcheck-dev (= 0.5-1), libghc6-base-prof-3.0.3.2-52ace, libghc6-haskell98-prof-1.0.1. |
Empfohlene Pakete | |
Paketbetreuer | Ubuntu Developers |
Quelle | haskell-lazysmallcheck |
Paketgröße | 52642 Byte |
Prüfsumme MD5 | 6e95b497e80d94b615c92166a93bb4a5 |
Prüfsumme SHA1 | 01e2588c66c2bae8fc13c57145a4c3ec33064dc0 |
Prüfsumme SHA256 | a1cf814075966349e247e03be3fca48edf6278f53cf1c915120dfd56dc47d55f |
Link zum Herunterladen | libghc6-lazysmallcheck-prof_0.5-1_i386.deb |
Ausführliche Beschreibung | 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.
|