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 through RTE_TMP_DIR, использовать стандартную временную папку.
Чтобы узнать, как Polyspace определяет временное расположение папки, смотрите Хранение временных файлов.
Если вы продолжаете использовать RTE_TMP_DIRубедитесь, что вы задаете абсолютный путь к существующей папке и имеете права доступа к ней.
