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.

Randomiseret testramme for Coq - værktøjer

QuickChick tilbyder en ramme for randomiseret test af programegenskaber; det er en klon af Haskells QuickCheck.

Det inkluderer en grundlæggende verifikationsramme til at teste kode og en mekanisme til automatisk at udlede generatorer for induktive relationer.

Coq er en bevisassistent for logik i højere orden.

Denne pakke indeholder værktøjerne.

Other Packages Related to quickchick

• dep: libc6 (>= 2.42)

  GNU C-bibliotek: Delte biblioteker
  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]