Pakiet: quickchick (2.1.1-2 i inne)

[ Pakiet źródłowy: coq-quickchick  ]

Pakiet eksperymentalny

Ostrzeżenie: Pakiet pochodzi z dystrybucji eksperymentalnej. Oznacza to, że prawdopodobnie jest niestabilny lub zawiera błędy i może spowodować nawet utratę danych. Przed użyciem pakietu proszę koniecznie zapoznać się z dziennikiem zmian i inną dostępną dokumentacją.

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.

Inne pakiety związane z quickchick

• dep: libc6 (>= 2.42)

  Biblioteka GNU C: biblioteki współdzielone
  również pakiet wirtualny udostępniany przez libc6-udeb

• dep: ocaml-base

  Runtime system for OCaml bytecode executables

  lub ocaml

  ML language implementation with a class-based object system

Pobieranie quickchick

Pobierz dla wszystkich dostępnych architektur

Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	2.1.1-2+b1	489,3 KiB	1 809,0 KiB	[lista plików]
arm64	2.1.1-2	526,3 KiB	2 180,0 KiB	[lista plików]
ppc64el	2.1.1-2	507,0 KiB	2 052,0 KiB	[lista plików]
s390x	2.1.1-2	501,4 KiB	2 104,0 KiB	[lista plików]