Package: quickchick (2.1.0-1 and others)

[ Source: 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.

Other Packages Related to quickchick

• dep: libc6 (>= 2.38) [not loong64]

  GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.39) [loong64]

• dep: ocaml-base

  Runtime system for OCaml bytecode executables

  or ocaml

  ML language implementation with a class-based object system

Download quickchick

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
amd64	2.1.0-1+b2	480.7 kB	1,793.0 kB	[list of files]
arm64	2.1.0-1+b2	523.6 kB	2,129.0 kB	[list of files]
loong64 (unofficial port)	2.0.3-3	421.6 kB	1,676.0 kB	[list of files]
ppc64 (unofficial port)	2.0.3-3	418.4 kB	1,964.0 kB	[list of files]
ppc64el	2.1.0-1+b2	499.4 kB	2,065.0 kB	[list of files]
riscv64	2.1.0-1+b1	499.9 kB	1,881.0 kB	[list of files]
s390x	2.1.0-1+b2	486.4 kB	2,085.0 kB	[list of files]