Polyspace® создает некоторые временные файлы при выполнении анализа. Если анализ запускается медленно, или вы сталкиваетесь с ошибками, такими как нехватка пространства на диске, проверьте свое временное расположение файла. Для получения дополнительной информации о возможных ошибках смотрите:
Чтобы определить, где хранить временные файлы, Polyspace ищет эти переменные окружения в следующем порядке:
RTE_TMP_DIR
: Задайте эту переменную окружения, только если хотите хранить временные файлы Polyspace в папке, отличной от стандартных временных папок (определяется TMPDIR
и такие). Текущую стандартную временную папку можно увидеть с помощью MATLAB® функция tempdir
.
Примечание
Этот путь должен быть абсолютным путем к существующей папке, в которой текущий пользователь имеет права доступа (для чтения и записи).
TMPDIR
TMP
TEMP
Если определена одна из этих переменных, Polyspace использует этот путь для хранения временных файлов. Если эти переменные окружения не определены, Polyspace сохраняет временные файлы в:
/tmp
в Linux® и Mac
Папка, заданная в USERPROFILE
переменная окружения, папка, возвращенная из GetWindowsDirectoryW
Windows® API, или Temp
директория в Windows