パッケージ: quickchick (2.0.3-2 など)

[ ソース: 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 ライブラリ: 共有ライブラリ
  以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb

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

• dep: ocaml-base [ppc64 以外]

  Runtime system for OCaml bytecode executables

  または ocaml

  ML language implementation with a class-based object system

• dep: ocaml-base-nox [ppc64]

  transitional package for ocaml-base

  または 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 (非公式の移植版)	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	[ファイル一覧]