Можно экспортировать результаты Polyspace доступ к веб-интерфейсу к файлу разделенного от вкладки значения (TSV) для последующей обработки, такие как применение пользовательских фильтров и передать/привести критерии к сбою.
polyspace-access | (DOS/UNIX) Управляет загрузкой, или экспорт Polyspace следует из Polyspace доступ к веб-интерфейсу |
Открытый или экспорт следует из Polyspace доступ
Открытый Polyspace доступ к результатам в настольном интерфейсе или экспорту заканчивается к файлу TSV.
