Configuration Parameters
创建分析选项、假设和编码规则配置的表
描述
此组件用于创建以下表：
Polyspace 设置：您用于获取结果的分析选项。此表列出选项的命令行版本及其值。
分析假设：用于获取 Code Prover 结果的假设。此表仅列出可修改的假设。对于您无法更改的假设，请参阅 Polyspace® 文档。
编码规则配置：您检查违规时所依据的编码规则。此表列出规则编号、规则描述以及关于规则的其他信息。
存在编译错误的文件：如果您的工程具有存在编译错误的源文件，则这些文件会被列出。
