主要内容

Variable Checks Details Ordered By Review Information

创建按审查信息排序的全局变量结果表(仅限 Code Prover)

描述

此组件创建一些表,用于显示代码中的 Polyspace® Code Prover™ 全局变量结果。具有相同的严重性状态组合的所有检查显示在同一个表中。