Paketti: libghc-lazysmallcheck-dev (0.6-14 ja muut) [debports]

[ Source:  ]

A library for demand-driven testing of Haskell programs

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.

This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.

Muut pakettiin libghc-lazysmallcheck-dev liittyvät paketit

• dep: libc6.1 (>= 2.1.3)

  GNU-C-kirjasto: jaetut kirjastot
  myös näennäispaketti, jonka toteuttaa libc6.1-udeb

• dep: libghc-base-dev-4.17.2.0-09ce5

  näennäispaketti, jonka toteuttaa ghc

• dep: libgmp10 (>= 2:6.3.0+dfsg)

  Multiprecision arithmetic library

Imuroi libghc-lazysmallcheck-dev

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
alpha (epävirallinen siirros)	0.6-14+b1	85.7 kt	816.0 kt	[tiedostoluettelo]