Пакет: quickchick (2.0.3-2 и други)

[ Източник: coq-quickchick  ]

randomized testing framework for Coq (tools)

QuickChick provides a framework for randomized testing of program properties ; it's a clone of Haskell's QuickCheck.

It includes a foundational verification framework to test code and a mechanism to automatically derive generators for inductive relations.

Coq is a proof assistant for higher-order logic.

This package contains the tools.

Други пакети, свързани с quickchick

• dep: libc6 (>= 2.34) [riscv64]

  GNU C Library: Shared libraries
  също и виртуален пакет, предлаган от libc6-udeb

  dep: libc6 (>= 2.35) [amd64, arm64, i386, ppc64el]

• dep: ocaml-base [не ppc64]

  Runtime system for OCaml bytecode executables

  или ocaml

  ML language implementation with a class-based object system

• dep: ocaml-base-nox [ppc64]

  transitional package for ocaml-base

  или ocaml-nox

  transitional package for ocaml

Изтегляне на quickchick

Изтегляне за всички налични архитектури

Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
amd64	2.0.3-2	401,5 кБ	1 504,0 кБ	[списък на файловете]
arm64	2.0.3-2	445,5 кБ	1 772,0 кБ	[списък на файловете]
armhf	2.0.2-1+b2	57,4 кБ	373,0 кБ	[списък на файловете]
i386	2.0.3-2	393,5 кБ	1 338,0 кБ	[списък на файловете]
ppc64 (неофициална архитектура)	2.0-2+b1	55,3 кБ	355,0 кБ	[списък на файловете]
ppc64el	2.0.3-2	422,1 кБ	1 708,0 кБ	[списък на файловете]
riscv64	2.0.3-2	410,2 кБ	1 544,0 кБ	[списък на файловете]
s390x	2.0.2-1+b2	57,3 кБ	373,0 кБ	[списък на файловете]