Импортируйте обзорную информацию из предыдущего анализа
-import-comments
resultsFolder
-import-comments
импортирует данные проверки (состояние, серьезность и дополнительные примечания) из предыдущего анализа, как указано в папке результатов.resultsFolder
Можно импортировать данные проверки только из результатов того же типа. Для образца:
Вы не можете импортировать данные проверки из результатов проверки Bug Finder в проверку во время выполнения Code Prover. Даже когда имена шашек звучат одинаково, базовая семантика Bug Finder и Code Prover может отличаться. Исключение составляют только шашки для правил кодирования. Можно импортировать комментарии между Bug Finder и Code Prover для нарушений правил кодирования.
Вы не можете импортировать информацию проверки из результатов верификации файла по файлам в Code Prover в результаты регулярной верификации Code Prover.
Можно также использовать эту опцию для создания опорной структуры для результатов анализа. В Polyspace® пользовательский интерфейс, если вы нажимаете кнопку New, в списке результатов остаются только новые по сравнению с базовым уровнем результаты анализа.
Если анализ запускается из пользовательского интерфейса (только для десктопных продуктов Polyspace), на панели Configuration можно ввести эту опцию в поле Other. См. Other
.
Импортируйте рецензируемую информацию из предыдущих результатов:
Bug Finder:
polyspace-bug-finder -sources filename -import-comments C:\Results\myProj\1.2
Code Prover:
polyspace-code-prover -sources filename -import-comments C:\Results\myProj\1.2
Сервер Bug Finder:
polyspace-bug-finder-server -sources filename -import-comments C:\Results\myProj\1.2
Код Code Prover:
polyspace-code-prover-server -sources filename -import-comments C:\Results\myProj\1.2
Если вы используете Polyspace в качестве расширений You Code в IDE, введите эту опцию в файл опций анализа. См. файл опций.