模型检查报告会列示所有这三个模型检查功能的结果。
•碰撞检查
列表会在运行或再次运行检查时更新。
新的项目(与上个状态相比)以粗体显示。
每个项目都会保留在列表上知道被删除或项目被关闭。
点击“信息”按钮以查看报告的问题的总结。
模型检查报告中列示的结果不一定是错误 — 他们可能只是反映了一个一次性的具体的解决方案或特定客户的要求。对于每个列示的项目,您可以在模型检查报告对话框中决定是否解决或忽略,或者创建一个问题。
•创建问题:参见从模型检查报告创建问题。
•双击任意项目以在3D窗口放大元素。
•右键单击任意项目以查看更多上下文菜单命令