Package: libghc-lazysmallcheck-dev (0.6-11 and others)

[ Source: haskell-lazysmallcheck  ]

libreria per test di programmi Haskell eseguiti su richiesta

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. Per maggiori informazioni su Haskell si veda http://www.haskell.org/.

Other Packages Related to libghc-lazysmallcheck-dev

• dep: libatomic1 (>= 4.8)

  libreria ausiliaria che fornisce funzioni __atomic incorporate

• dep: libc6 (>= 2.1.3)

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6-udeb

• dep: libghc-base-dev-4.11.1.0-3abbc

  virtual package provided by ghc

• dep: libgmp10

  libreria aritmetica a precisione multipla

• sug: libghc-lazysmallcheck-doc

  libreria per test di programmi Haskell eseguiti su richiesta; documentazione

• sug: libghc-lazysmallcheck-prof

  libreria per test di programmi Haskell eseguiti su richiesta; librerie di profilazione

Download libghc-lazysmallcheck-dev

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
i386	0.6-11+b2	63.5 kB	414.0 kB	[list of files]