Tarkennettu haku
[  bullseye  ] [  bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Source: haskell-lazysmallcheck  ]

Paketti: libghc-lazysmallcheck-prof (0.6-15 ja muut)

Links for libghc-lazysmallcheck-prof

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti haskell-lazysmallcheck:

Ylläpitäjät:

External Resources:

Samankaltaisia paketteja:

A library for demand-driven testing of Haskell programs; profiling libraries

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, compiled for profiling. See http://www.haskell.org/ for more information on Haskell.

Muut pakettiin libghc-lazysmallcheck-prof liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi libghc-lazysmallcheck-prof

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Versio Paketin koko Koko asennettuna Tiedostot
amd64 0.6-15+b1 48.5 kt419.0 kt [tiedostoluettelo]
arm64 0.6-15+b1 54.6 kt519.0 kt [tiedostoluettelo]
armel 0.6-15 67.0 kt512.0 kt [tiedostoluettelo]
armhf 0.6-15 65.9 kt503.0 kt [tiedostoluettelo]
i386 0.6-15+b1 65.5 kt460.0 kt [tiedostoluettelo]
ppc64el 0.6-15 62.3 kt631.0 kt [tiedostoluettelo]
riscv64 0.6-15 89.9 kt923.0 kt [tiedostoluettelo]
s390x 0.6-15 74.4 kt834.0 kt [tiedostoluettelo]