其他

为静态分析指定附加命令行标志

描述

仅当您在 Polyspace^® 桌面端产品的用户界面中运行分析时，此选项才会有用。

输入 command-line-style 标志，例如 -max-processes 或 -tmp-dir-in-results-dir。

设置选项

用户界面（仅限桌面端产品）：在您的工程配置中，此选项位于高级设置节点上。

Enter command-line name of option in Other field.

您可以在此字段中输入多个选项。如果您使用不同的参量多次输入相同的选项，则分析将使用最近的参量。

用户界面（仅限 Polyspace 平台、桌面端产品）：在您的工程配置中，此选项位于高级节点的静态分析选项卡上。

为何使用此选项

使用此选项向分析器添加非正式或仅限命令行选项。

非正式选项是 MathWorks^® 技术支持为解决特定问题可能向您提供的尚未公开的选项。有时，选项及其参量必须在 -extra-flags 选项之后（即，您必须输入 -extra-flags option_param）。在为您提供选项时，技术支持会告知您是否需要 -extra-flags。

如果您必须添加几个命令行选项，您可以将其保存在一个文本文件中，并使用选项 -options-file 指定文件。您可以跨工程重复使用选项文件。