Задайте дату анализа
-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"
