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