alla flaggor
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ Källkod: haskell-lazysmallcheck  ]

Paket: libghc-lazysmallcheck-dev (0.6-11 och andra)

Länkar för libghc-lazysmallcheck-dev

Screenshot

Debianresurser:

Hämta källkodspaketet haskell-lazysmallcheck:

Ansvariga:

Externa resurser:

Liknande paket:

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.

Andra paket besläktade med libghc-lazysmallcheck-dev

  • beror
  • rekommenderar
  • föreslår
  • enhances

Hämta libghc-lazysmallcheck-dev

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Version Paketstorlek Installerad storlek Filer
alpha (inofficiell anpassning) 0.6-11+b2 80,9 kbyte740,0 kbyte [filförteckning]
amd64 0.6-11+b3 63,9 kbyte477,0 kbyte [filförteckning]
arm64 0.6-11+b3 68,6 kbyte576,0 kbyte [filförteckning]
armel 0.6-11+b4 67,3 kbyte495,0 kbyte [filförteckning]
armhf 0.6-11+b4 67,2 kbyte494,0 kbyte [filförteckning]
hppa (inofficiell anpassning) 0.6-11+b4 98,7 kbyte744,0 kbyte [filförteckning]
i386 0.6-11+b3 63,4 kbyte416,0 kbyte [filförteckning]
m68k (inofficiell anpassning) 0.6-11+b3 82,6 kbyte603,0 kbyte [filförteckning]
mips64el 0.6-11+b3 77,5 kbyte753,0 kbyte [filförteckning]
mipsel 0.6-11+b3 73,1 kbyte595,0 kbyte [filförteckning]
powerpcspe (inofficiell anpassning) 0.6-10 78,3 kbyte659,0 kbyte [filförteckning]
ppc64 (inofficiell anpassning) 0.6-11+b3 74,0 kbyte802,0 kbyte [filförteckning]
ppc64el 0.6-11+b3 76,5 kbyte712,0 kbyte [filförteckning]
riscv64 (inofficiell anpassning) 0.6-11+b3 97,5 kbyte971,0 kbyte [filförteckning]
s390x 0.6-11+b3 78,1 kbyte705,0 kbyte [filförteckning]
sh4 (inofficiell anpassning) 0.6-11 81,1 kbyte583,0 kbyte [filförteckning]
sparc64 (inofficiell anpassning) 0.6-11+b3 89,2 kbyte1.015,0 kbyte [filförteckning]
x32 (inofficiell anpassning) 0.6-11+b3 91,7 kbyte632,0 kbyte [filförteckning]