Was macht weed?
Jäte den Allium-Garten. Erkenne, wo Allium-Spezifikationen und Implementierungscode voneinander abweichen, und hilf, die Abweichungen zu beheben. Verwende dies, wenn der Benutzer die Spec-Code-Übereinstimmung prüfen, Spezifikationen mit der Implementierung vergleichen, auf Spec-Drift oder -Verstöße prüfen, Spezifikationen mit Code oder Code mit Spezifikationen synchronisieren oder überprüfen möchte, ob die Implementierung dem entspricht, was die Spezifikation vorgibt.