[ Paquet source : coq-quickchick ]
Paquet : quickchick (2.0.3-2)
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_2.0.3-2.dsc]
- [coq-quickchick_2.0.3.orig.tar.gz]
- [coq-quickchick_2.0.3-2.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: libc6 (>= 2.35)
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
-
- dep: ocaml-base
- 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
Télécharger quickchick
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| i386 | 393,5 ko | 1 338,0 ko | [liste des fichiers] |