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