[ Paquet source : coq-quickchick ]
Paquet : quickchick (1.6.4-3 et autres)
Liens pour quickchick
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source coq-quickchick :
- [coq-quickchick_1.6.4-3.dsc]
- [coq-quickchick_1.6.4.orig.tar.gz]
- [coq-quickchick_1.6.4-3.debian.tar.xz]
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
|
|
|
|
-
- dep: ocaml-base-nox
- paquet de transition pour ocaml-base
- ou ocaml-nox
- paquet de transition pour ocaml
Télécharger quickchick
| Architecture | Version | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|---|
| amd64 | 1.6.4-3 b1 | 54,4 ko | 353,0 ko | [liste des fichiers] |
| arm64 | 1.6.4-3 b1 | 54,3 ko | 353,0 ko | [liste des fichiers] |
| armhf | 1.6.4-3 b1 | 54,4 ko | 353,0 ko | [liste des fichiers] |
| i386 | 1.6.4-3 b1 | 54,4 ko | 353,0 ko | [liste des fichiers] |
| ppc64el | 1.6.4-3 b1 | 54,4 ko | 353,0 ko | [liste des fichiers] |
| s390x | 1.6.4-3 b1 | 54,4 ko | 353,0 ko | [liste des fichiers] |