Terminer
preuves liées aux fichiers
Un test, un lint, un typecheck ou un build ne compte que s'il a réussi, si son propre code de sortie a déterminé le résultat de la ligne, si aucun fichier n'a changé pendant son exécution, et si les fichiers sont toujours exactement ceux sur lesquels il a tourné.
Optionnel
exact: seule la commande complète compte, etcwdfixe où elle doit s'exécuter.scope(avecexact) : un changement hors des répertoires nommés laisse le résultat à jour.ignore(toute la policy) : la sortie qu'écrit une vérification, comme la couverture, n'est pas comptée comme un changement.
