Code and Verification Information

Составьте таблицу времен верификации и характеристик кода

Описание

Этот компонент составляет таблицы, содержащие времена верификации и характеристики кода, такие как количество линий.

Свойства

Включайте информацию времени верификации

Если вы выбираете эту опцию, отчет содержит времена верификации, сломанные фазой.

  • Для Polyspace® Bug Finder™ фазами является compilation, pass0, pass1, и т.д.

  • Для Polyspace Code Prover™ фазами является compilationглобальная переменнаяфункция, и т.д.

Включайте детали кода

Если вы выбираете эту опцию, отчет содержит следующие характеристики кода:

  • Количество файлов

  • Количество линий

  • Количество линий без комментария