-results-dir

指定结果文件夹

语法

-results-dir resultsFolder

-results-dir resultsFolder 指定分析结果的保存位置。命令行中的默认位置是当前文件夹。

请注意，每次运行时都会清理并重新填充结果文件夹。为避免在清理过程中意外删除文件，请为 Polyspace^® 结果指定一个专用文件夹，而不是使用包含其他文件的现有文件夹。

如果您在 Polyspace 桌面端产品的用户界面中运行分析，请参阅Run Static Analysis in Polyspace Platform User Interface。

指定将结果保存在 RESULTS 文件夹中：

Bug Finder：

polyspace-bug-finder -results-dir RESULTS

Code Prover：

polyspace-code-prover -results-dir RESULTS

Bug Finder Server：

polyspace-bug-finder-server -results-dir RESULTS

Code Prover Server：

polyspace-code-prover-server -results-dir RESULTS

您可以根据验证日期和时间创建结果文件夹的名称。例如，在 Bash shell 中，输入以下命令创建一个变量 RESULTS，该变量以 results_ 开头并包含当前日期和时间：

export DATETIME=$(date +%d%B_%HH%M_%A)
export RESULTS=results_$DATE

然后，您可以将变量 RESULTS 用作选项 -results-dir 的参量：

-results-dir $RESULTS

如果您在 IDE 中使用 Polyspace as You Code™ 扩展，此选项将通过 IDE 扩展设置实现。您不必显式使用此选项。如果您希望显式使用此选项，请在分析选项文件中输入此选项。请参阅选项文件。
如果您在 Polyspace 平台用户界面的“预设项”窗口中的父结果文件夹位置字段中指定结果文件夹，请避免在选项文件或其他字段中指定 -results-dir。如果您在用户界面以及选项文件或 Other 字段中都指定了此选项，则分析将以用户界面中的配置为准。