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