Указать дату анализа
-date "date"
-date " указывает метку даты для анализа в формате date"dd/mm/yyyy. По умолчанию значением является дата начала анализа.
Назначьте дату проекту Polyspace ®:
Поиск ошибок:
polyspace-bug-finder -date "15/03/2012"
Проверка кода:
polyspace-code-prover -date "15/03/2012"
Сервер поиска ошибок:
polyspace-bug-finder-server -date "15/03/2012"
Сервер проверки кода:
polyspace-code-prover-server -date "15/03/2012"
Этот параметр не требуется для анализа Polyspace as You Code.