Run-time Checks Summary Ordered by File
创建按文件排序的运行时检查表（仅限 Code Prover）
描述
此组件创建一个表，其中显示代码中每个文件的 Polyspace® Code Prover™ 检查数量。
属性
对数据排序
使用此选项，可按文件名或未经证明代码的百分比，对表中的行按字母顺序排序。
显示方式
使用此选项可在表或条形图中显示检查的数量。
显示文件中的检查比率
选择此选项可将特定颜色的检查数量显示为占文件中检查总数的比率。
包含来自 Polyspace 标准库桩件函数的检查
选择此选项可在显示内容中包含来自 Polyspace 标准库桩件函数的检查。
