Polyspace 分析期间临时文件的存储

Polyspace® 在执行分析时会生成一些临时文件。如果您的分析运行缓慢，或遇到诸如磁盘空间不足之类的错误，请检查临时文件的位置。有关可能的错误的详细信息，请参阅：

为确定临时文件的存储位置，Polyspace 会按以下顺序查找这些环境变量：

  • RTE_TMP_DIR:仅当您希望将 Polyspace 的临时文件存储在与标准临时文件夹（由 TMPDIR 等定义）不同的位置时，才需要定义此环境变量。可以使用 MATLAB® 函数 tempdir 查找当前的标准临时文件夹。

    注意

    此路径必须是一个现有文件夹的绝对路径，并且当前用户必须对该文件夹具有访问权限（用于读取和写入）。

  • TMPDIR

  • TMP

  • TEMP

如果定义了其中一个环境变量，则 Polyspace 将使用该路径来存储临时文件。如果未定义这些环境变量，则 Polyspace 会将临时文件存储在以下位置：

  • /tmp（在 Linux® 和 Mac 上）

  • 使用 USERPROFILE 环境变量指定的文件夹、从 GetWindowsDirectoryW Windows® API 返回的文件夹，或者 Temp 目录（在 Windows 上）