В некоторых случаях ваш процесс сборки может запуститься медленнее, когда Polyspace® прослеживает сборку.
Информация о кэшах Polyspace в файлах сохранила в системе временную папку, такую как
, в Windows®. Ваша сборка может занять много времени, чтобы выполнить операции чтения-записи к этой папке. Поэтому полный процесс сборки является медленным.C:\Users\User_Name\AppData\Local\Temp
Можно работать вокруг медленного процесса сборки путем изменения местоположения, где Polyspace хранит информацию кэша. Например, можно использовать путь к кэшу, локальный для диска, от которого вы запускаете трассировку сборки. Чтобы создать и использовать локальную папку ps_cache
для того, чтобы хранить информацию кэша, используйте расширенную настройку -cache-path ./ps_cache
.
Если вы прослеживаете свою сборку от пользовательского интерфейса Polyspace, введите этот флаг в поле Add advanced configure options.
Если вы прослеживаете свою сборку от DOS / UNIX® или командная строка MATLAB®, используйте этот флаг с командой polyspace-configure
.
Для получения дополнительной информации смотрите polyspace-configure
.