все параметры
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Источник: haskell-lazysmallcheck  ]

Пакет: libghc-lazysmallcheck-prof (0.6-15 и другие)

Ссылки для libghc-lazysmallcheck-prof

Screenshot

Ресурсы Debian:

Исходный код haskell-lazysmallcheck:

Сопровождающие:

Внешние ресурсы:

Подобные пакеты:

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.

Другие пакеты, относящиеся к libghc-lazysmallcheck-prof

  • зависимости
  • рекомендации
  • предложения
  • enhances

Загрузка libghc-lazysmallcheck-prof

Загрузить для всех доступных архитектур
Архитектура Версия Размер пакета В установленном виде Файлы
alpha (неофициальный перенос) 0.6-15 66,5 Кб659,0 Кб [список файлов]
amd64 0.6-15 52,0 Кб422,0 Кб [список файлов]
arm64 0.6-15 58,1 Кб522,0 Кб [список файлов]
armel 0.6-15 67,0 Кб512,0 Кб [список файлов]
armhf 0.6-15 65,9 Кб503,0 Кб [список файлов]
hppa (неофициальный перенос) 0.6-15+b1 79,1 Кб593,0 Кб [список файлов]
i386 0.6-15 68,5 Кб463,0 Кб [список файлов]
ia64 (неофициальный перенос) 0.6-14+b1 81,8 Кб1 281,0 Кб [список файлов]
m68k (неофициальный перенос) 0.6-13+b3 68,4 Кб470,0 Кб [список файлов]
mips64el 0.6-15 64,6 Кб619,0 Кб [список файлов]
ppc64 (неофициальный перенос) 0.6-15 60,7 Кб649,0 Кб [список файлов]
ppc64el 0.6-15 62,3 Кб631,0 Кб [список файлов]
riscv64 0.6-15 89,9 Кб923,0 Кб [список файлов]
s390x 0.6-15 74,4 Кб834,0 Кб [список файлов]
sh4 (неофициальный перенос) 0.6-11+b1 61,1 Кб411,0 Кб [список файлов]
sparc64 (неофициальный перенос) 0.6-15 74,3 Кб966,0 Кб [список файлов]
x32 (неофициальный перенос) 0.6-13 72,8 Кб519,0 Кб [список файлов]