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