Просмотрите все экземпляры результатов Программы автоматического доказательства Средства поиска или Кода Ошибки
возвращает таблицу, показывающую все результаты в наборе результатов Polyspace®, resTable
= getResults(resObj
, content
)resObj
. Результаты устанавливают resObj
может быть набор результатов Средства поиска Ошибки, обозначенный polyspace.BugFinderResults
возразите или Программа автоматического доказательства Кода заканчивается набор, обозначенный polyspace.CodeProverResults
объект. Можно управлять таблицей, чтобы произвести графики и статистику о результатах, которые вы не можете получить с готовностью из пользовательского интерфейса.