-tmp-dir-in-results-dir

将临时文件保留在结果文件夹中

语法

-tmp-dir-in-results-dir

描述

-tmp-dir-in-results-dir 指定临时文件必须存储在结果文件夹的子文件夹中。仅当标准临时文件夹没有足够的磁盘空间时，才使用此选项。如果结果文件夹装载在网络驱动器上，此选项可能会降低处理器的速度。

要了解 Polyspace® 如何确定临时文件夹位置，请参阅Storage of Temporary Files During Polyspace Analysis。

在用户界面（仅限 Polyspace 桌面端产品）中，在配置窗格的其他字段中输入此选项。请参阅其他。

示例

将临时文件存储在结果文件夹中：

  • Bug Finder：

    polyspace-bug-finder -tmp-dir-in-results-dir

  • Code Prover：

    polyspace-code-prover -tmp-dir-in-results-dir

  • Bug Finder Server：

    polyspace-bug-finder-server -tmp-dir-in-results-dir

  • Code Prover Server：

    polyspace-code-prover-server -tmp-dir-in-results-dir

提示

如果您使用 IDE 中的 Polyspace as You Code 扩展，请在分析选项文件中输入此选项。请参阅选项文件。

另请参阅

主题