Package: quickchick (2.1.1-2 and others)

[ Source: coq-quickchick  ]

Experimental package

Warning: This package is from the experimental distribution. That means it is likely unstable or buggy, and it may even cause data loss. Please be sure to consult the changelog and other possible documentation before using it.

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.42)

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

• 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.1-2+b1	489.3 kB	1,809.0 kB	[list of files]
arm64	2.1.1-2	526.3 kB	2,180.0 kB	[list of files]
ppc64el	2.1.1-2	507.0 kB	2,052.0 kB	[list of files]
s390x	2.1.1-2	501.4 kB	2,104.0 kB	[list of files]