其他

设置选项

使用以下方法之一设置选项：

为何使用此选项

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

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

您在此字段中指定的选项将被放入一个选项文件中，然后该文件将作为 -options-file 选项的输入传递给分析功能。如果您需要在此字段中添加多个命令行或非官方选项，请将这些选项保存到一个可重用的选项文件中。

您可以在 Polyspace 平台用户界面的“预设项”窗口中配置某些选项，例如结果目录或导入注释。如果您再次在 Other 字段中使用命令行选项来配置这些选项，则命令行输入将被忽略，并且在分析中使用来自用户界面的输入。例如，假设您指定文件夹 foo 作为父结果文件夹位置。然后您在 Other 字段中指定另一个文件夹 bar 作为 -results-dir 的输入。Polyspace 将忽略此命令行输入，并将结果保存在 foo 中。