工程配置

设置高级配置选项以自定义分析

模型配置窗格: Polyspace

描述

在“配置”窗口中为 Polyspace® 分析指定高级配置选项。例如，您可以指定目标硬件、编译器及其他分析设置。

有关这些 Polyspace 选项的详细信息，请参阅配置。

依赖关系

  • 参数设置来源 (C) 或设置来源 (C++) 会覆盖编码规则的自定义配置设置。如果要使用自定义编码规则设置，请从设置来源列表中选择Project configuration。

  • 您可以在命令行中使用 .psprj 文件指定自定义配置：

    • 将 EnablePrjConfigFile 参数设置为 true。

    • 在 PrjConfigFile 参数中指定包含自定义配置的文件的完整路径。

设置

N/A

在 Polyspace 配置窗口中自定义其他设置，并保存工程配置。如果您在参数使用自定义工程文件中添加了自定义工程文件，则会显示该工程文件的配置。否则，将使用默认工程模板。

推荐设置

应用程序设置
调试无影响
可追溯性无影响
效率无影响
安全预警无影响

编程用法

参数：EnablePrjConfigFile，用于 pslinkoptions
参数：PSEnablePrjConfigFile，用于 set_param()
值：'false' | 'true'
默认值：'false'
示例：opt = pslinkoptions(modelname); opt.EnablePrjConfigFile = true;

版本历史记录

在 R2016b 中推出

另请参阅

| |

主题