主要内容
完整清单多空间代码验证程序分析选项
分析选项说明
使用多边形空间时®，您可能希望更改某些默认分析选项。您可以更改选项以解决编译问题、修改代码验证程序假设、更改检查行为等。这些选项在此处根据屏幕上的组进行组织配置Polyspace桌面产品用户界面中的窗格。s manbetx 845
可以使用Polyspace桌面用户界面、Polyspace命令行界面或选项文件指定分析选项。
多空间用户界面：要更改项目模块的分析选项，请在项目浏览器，选择配置模块的节点。在配置窗格中，根据需要更改选项。看见在Polyspace桌面用户界面中运行分析.
命令行：要在从命令行运行多边形空间分析时指定分析选项，请将选项附加到
多空间码验证器或polyspace代码验证服务器看见从命令行运行Polyspace分析.选项文件：选项文件是一个文本文件，每行有一个选项值对。您可以在命令行中将选项文件指定为选项的值，而不是显式枚举许多选项
-选项文件看见多边形空间分析的选项文件.
通用工作流
您还可以从以下列表中选择网站：
