Paquet : quickchick (2.0.3-2 et autres)

Liens pour quickchick

Ressources Debian :

Télécharger le paquet source coq-quickchick :

Responsables :

Ressources externes :

Page d'accueil [github.com]

Paquets similaires :

cadriciel de tests aléatoires pour Coq – outils

QuickChick fournit un cadriciel pour le test aléatoire de propriétés d’un programme. C’est un clone de QuickCheck d’Haskell.

Il inclut un cadriciel de vérification fondamentale pour tester du code et un mécanisme pour déduire automatiquement des générateurs pour des relations inductives.

Coq est un assistant de preuve pour la logique d’ordre élevé.

Ce paquets fournit les utilitaires.

Autres paquets associés à quickchick

dépendances

recommandations

suggestions

enhances

dep: libc6 (>= 2.34) [riscv64]

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb

dep: libc6 (>= 2.35) [amd64, arm64, i386, ppc64el]
dep: ocaml-base [non ppc64]

système d’exécution de bytecode OCaml

ou ocaml

mise en oeuvre de Meta Language avec un système orienté objet basé sur les classes
dep: ocaml-base-nox [ppc64]

paquet de transition pour ocaml-base

ou ocaml-nox

paquet de transition pour ocaml

Télécharger quickchick

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	2.0.3-2	401,5 ko	1 504,0 ko	[liste des fichiers]
arm64	2.0.3-2	445,5 ko	1 772,0 ko	[liste des fichiers]
armhf	2.0.2-1+b2	57,4 ko	373,0 ko	[liste des fichiers]
i386	2.0.3-2	393,5 ko	1 338,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	2.0-2+b1	55,3 ko	355,0 ko	[liste des fichiers]
ppc64el	2.0.3-2	422,1 ko	1 708,0 ko	[liste des fichiers]
riscv64	2.0.3-2	410,2 ko	1 544,0 ko	[liste des fichiers]
s390x	2.0.2-1+b2	57,3 ko	373,0 ko	[liste des fichiers]