Пакунок: quickchick (2.1.1-2 and others)

[ Source: coq-quickchick  ]

Експериментальний пакунок

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.

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

• dep: libc6 (>= 2.42)

  Бібліотека GNU C: спільні бібліотеки
  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

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

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

Архітектура	Версія	Розмір пакунка	Розмір після встановлення	Файли
amd64	2.1.1-2+b1	489.3 kB	1,809.0 kB	[список файлів]
arm64	2.1.1-2	526.3 kB	2,180.0 kB	[список файлів]
ppc64el	2.1.1-2	507.0 kB	2,052.0 kB	[список файлів]
s390x	2.1.1-2	501.4 kB	2,104.0 kB	[список файлів]