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