Пакунок: quickchick (2.0.3-2 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.

Інші пакунки пов'язані з quickchick

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

  Бібліотека GNU C: спільні бібліотеки
  also a virtual package provided by libc6-udeb

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

• dep: ocaml-base [not ppc64]

  Runtime system for OCaml bytecode executables

  or ocaml

  ML language implementation with a class-based object system

• dep: ocaml-base-nox [ppc64]

  transitional package for ocaml-base

  or ocaml-nox

  transitional package for ocaml

Завантажити quickchick

Завантаження для всіх доступних архітектур

Архітектура	Версія	Розмір пакунка	Розмір після встановлення	Файли
amd64	2.0.3-2	401.5 kB	1,504.0 kB	[список файлів]
arm64	2.0.3-2	445.5 kB	1,772.0 kB	[список файлів]
armhf	2.0.2-1+b2	57.4 kB	373.0 kB	[список файлів]
i386	2.0.3-2	393.5 kB	1,338.0 kB	[список файлів]
ppc64 (unofficial port)	2.0-2+b1	55.3 kB	355.0 kB	[список файлів]
ppc64el	2.0.3-2	422.1 kB	1,708.0 kB	[список файлів]
riscv64	2.0.3-2	410.2 kB	1,544.0 kB	[список файлів]
s390x	2.0.2-1+b2	57.3 kB	373.0 kB	[список файлів]