{% import 'link.jinja.html' as link %} CBMC {{link.to_viewer_css(path_to_root)}}

CBMC report

Coverage

{% set coverage = summary.coverage %} {% if coverage.overall %} {% set overall = coverage.overall %}

Coverage: {{'{:.2f}'.format(overall.percentage)}} (reached {{overall.hit}} of {{overall.total}} reachable lines)

{% endif %} {% if coverage.function %} {% set function = coverage.function %} {% for func in function|sort(attribute="func_name")|sort(attribute="file_name")|sort(attribute="percentage", reverse=True) %} {% endfor %}
Coverage Function File
{{'{:.2f}'.format(func.percentage)}} ({{func.hit}}/{{func.total}}) {{link.to_line(func.file_name, func.line_num, func.func_name)}} {{link.to_file(func.file_name, func.file_name)}}
{% endif %} {% if not coverage.overall and not coverage.function %} None {% endif %}

Warnings

{% set warnings = summary.warnings %} {% if warnings.expected_missing_function %}

Functions omitted from test (expected):

{% endif %} {% if warnings.unexpected_missing_function %}

Functions omitted from test (unexpected):

{% endif %} {% if warnings.other %}

Other warnings:

{% endif %} {% if not warnings.expected_missing_function and not warnings.unexpected_missing_function and not warnings.other %} None {% endif %}

Errors

{% set errors = summary.failures %} {% if errors.loop %} {% endif %} {% if errors.other %} {% endif %} {% if errors.property %} {% endif %} {% if not errors.loop and not errors.other and not errors.property %} None {% endif %}