Pacote: quickchick (2.1.0-1.1 e outros)

[ Fonte: 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.

Outros pacotes relacionados a quickchick

• dep: libc6 (>= 2.42)

  GNU Biblioteca C: Bibliotecas compartilhadas
  também um pacote virtual fornecido por libc6-udeb

• dep: ocaml-base

  sistema de tempo real para executáveis bytecode OCaml

  ou ocaml

  implementação da linguagem ML com um sistema de objetos baseado em classes

Download de quickchick

Baixe para todas as arquiteturas disponíveis

Arquitetura	Versão	Tamanho do pacote	Tamanho instalado	Arquivos
amd64	2.1.0-1.1+b6	489.1 kB	1,809.0 kB	[lista de arquivos]
arm64	2.1.0-1.1+b6	526.5 kB	2,181.0 kB	[lista de arquivos]
ppc64el	2.1.0-1.1+b4	507.6 kB	2,053.0 kB	[lista de arquivos]
riscv64	2.1.0-1.1+b4	512.4 kB	1,893.0 kB	[lista de arquivos]
s390x	2.1.0-1.1+b4	501.4 kB	2,105.0 kB	[lista de arquivos]