{% import 'link.jinja.html' as link %}
{{prop_name}}
{{link.to_viewer_css('..')}}
Error trace for property {{prop_name}}
Property that failed:
Name: {{prop_name}}
Description: {{prop_desc}}
Location: {{prop_srcloc}}
Trace navigation tips:
Shift-Click: Hide function steps:
Shift-click on any step of a function to toggle the display
of function steps (hide or display steps).
This corresponds to stepping over a function in a debugger.
Example: Shift-click on any step of malloc to hide
the initialization of the struct members being malloc'd.
Shift-Alt-Click: Focus on function steps:
Shift-Alt-click on any step of a function to hide all steps
of all functions not currently on the call stack.
This corresponds to viewing the call stack in a debugger.
Example: Shift-Alt-click on a failure step to the display the
most direct path from the initial state to the failure.
{% for step in steps %}
{% if step.kind == 'function-call' %}
{% endif %}
{% if step.kind == 'function-return' %}
{# end function-body #}
{% endif %}
Step {{step.num}}: {{step.srcloc}}
{% if step.code %}
{{step.code}}
{% endif %}
{{step.cbmc}}
{% if step.kind == 'function-call' %}
{# end function-call #}
{% endif %}
{% if step.kind == 'function-return' %}