Polyspace® производит некоторые временные файлы во время анализа. Следующие проблемы связаны с устройством хранения данных временных файлов.
Когда рабочая верификация, вы получаете сообщение об ошибке, что Polyspace не мог создать папку для того, чтобы записать временные файлы. Например, сообщение об ошибке может быть следующие:
Unable to create folder "C:\Temp\Polyspace\foldername
Polyspace производит некоторые временные файлы во время анализа. Если у вас нет полномочий записи для папки используемыми, чтобы хранить файлы, можно столкнуться с ошибкой.
Существует два возможных решения этой ошибки:
Измените полномочия своей временной папки, таким образом, у вас есть полное чтение и привилегии записи.
Чтобы изучить, как Polyspace определяет временное местоположение папки, смотрите Устройство хранения данных Временных Файлов.
Используйте опцию -tmp-dir-in-results-dir. Вместо стандартной временной папки Polyspace использует подпапку папки результатов.
Когда рабочая верификация, вы получаете сообщение об ошибке, что нет никакого пробела на устройстве.
Если у вас нет достаточного пробела на для папки используемым, чтобы хранить файлы, можно столкнуться с ошибкой.
Существует два возможных решения этой ошибки:
Измените временную папку в диск, который имеет достаточно дискового пространства.
Чтобы изучить, как Polyspace определяет временное местоположение папки, смотрите Устройство хранения данных Временных Файлов.
Используйте опцию -tmp-dir-in-results-dir. Вместо стандартной временной папки Polyspace использует подпапку папки результатов.
Когда рабочая верификация, вы получаете сообщение об ошибке, что Polyspace не мог открыть временный файл.
Вы задали путь для того, чтобы хранить временные файлы при помощи переменной окружения RTE_TMP_DIR. Вы или использовали относительный путь во временной папке, папка не существует, или у вас нет прав доступа к папке.
Существует два возможных решения этой ошибки:
Вместо того, чтобы задать временную папку, характерную для Polyspace через RTE_TMP_DIR, используйте стандартную временную папку.
Чтобы изучить, как Polyspace определяет временное местоположение папки, смотрите Устройство хранения данных Временных Файлов.
Если вы продолжаете использовать RTE_TMP_DIR, убедитесь, что вы задаете абсолютный путь к существующей папке, и у вас есть права доступа к папке.
