Составьте таблицу времени верификации и характеристик кода
Этот компонент создает таблицы, содержащие время верификации и характеристики кода, такие как количество линий.
При выборе этой опции отчет содержит время верификации с разбивкой по фазам.
Для Polyspace® Bug Finder™, фазы compilation, pass0, pass1, и т.д.
Для Prover™ кода Polyspace Code фазы compilation, global, function, и т.д.
При выборе этой опции отчет содержит следующие характеристики кода:
Количество файлов
Количество линий
Количество линий без комментариев