其他
为静态分析指定附加命令行标志
描述
仅当您在 Polyspace® 桌面端产品的用户界面中运行分析时，此选项才会有用。
输入 command-line-style 标志，例如 -max-processes 或 -tmp-dir-in-results-dir。
设置选项
使用以下方法之一设置选项：
Polyspace 用户界面（仅限桌面端产品）：在工程配置中，在高级设置节点上为该选项输入一个命令行风格的标记。
Polyspace 平台用户界面（仅限桌面端产品）：在工程配置中，在静态分析选项卡上，选择高级节点，然后为该选项输入一个命令行风格的标记。
为何使用此选项
使用此选项向分析器添加非正式或仅限命令行选项。
非正式选项是 MathWorks® 技术支持为解决特定问题可能向您提供的尚未公开的选项。有时，选项及其参量必须在 -extra-flags 选项之后（即，您必须输入 -extra-flags ）。在为您提供选项时，技术支持会告知您是否需要 option_param-extra-flags。
在此字段中指定的选项将被放入一个选项文件中，然后作为选项 -options-file 的输入传递给分析。如果需要在此字段中添加多个命令行或非官方选项，请将这些选项保存到可重复使用的选项文件中。
在 Polyspace Platform 用户界面的“预设项”窗口中，您可以配置一些选项，例如结果目录或导入注释。如果您使用 Other 字段中的命令行选项再次配置这些选项，则命令行输入将被忽略，分析将使用来自用户界面的输入。例如，假设您将文件夹 foo 指定为父结果文件夹位置。然后，在 Other 字段中通过 -results-dir 指定了另一个文件夹 bar。Polyspace 会忽略命令行输入，并将结果保存到 foo 中。
设置
无默认值
输入一个或多个命令行风格的标记。您可以在此字段中输入多个选项。如果您使用不同的参量多次输入相同的选项，则分析将使用最近的参量。
命令行信息
直接在命令行或选项文件中输入选项
