Package: libghc-lazysmallcheck-prof (0.6-11 and others)
Links for libghc-lazysmallcheck-prof
Debian Resources:
Download Source Package haskell-lazysmallcheck:
- [haskell-lazysmallcheck_0.6-11.dsc]
- [haskell-lazysmallcheck_0.6.orig.tar.gz]
- [haskell-lazysmallcheck_0.6-11.debian.tar.xz]
Maintainers:
External Resources:
- Homepage [www.cs.york.ac.uk]
Similar packages:
libreria per test di programmi Haskell eseguiti su richiesta; librerie di profilazione
Lazy SmallCheck è una libreria per test esaustivi di programmi Haskell eseguiti su richiesta. È basata sul concetto che se una proprietà è valida per un input parzialmente definito, allora deve anche essere valida per tutti i raffinamenti completamente definiti di tale input. In confronto a generazioni di input "più avide" come SmallCheck, Lazy SmallCheck può richiedere un numero di casi di test significativamente inferiore per verificare una proprietà per tutti gli input fino ad una data profondità.
Questo pacchetto fornisce una libreria per il linguaggio di programmazione Haskell compilata per la profilazione. Per maggiori informazioni su Haskell vedere http://www.haskell.org
Other Packages Related to libghc-lazysmallcheck-prof
|
|
|
|
-
- dep: libghc-base-prof-4.11.1.0-7db1a
- virtual package provided by ghc-prof
-
- dep: libghc-lazysmallcheck-dev (= 0.6-11+b2)
- libreria per test di programmi Haskell eseguiti su richiesta
Download libghc-lazysmallcheck-prof
Architecture | Version | Package Size | Installed Size | Files |
---|---|---|---|---|
arm64 | 0.6-11+b2 | 55.0 kB | 458.0 kB | [list of files] |