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