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