{{ monitor.name }}

{% if monitor.liveness != None and monitor.is_liveness_expired != False %} {% endif %}
Name {{ monitor.name }}
Id {{ monitor.id }}
Target {{ monitor.target }}
Location {{ monitor.location }}
Kind {{ monitor.kind }}
Control type {{ monitor.control_type.name }}
Formula {{ monitor.formula }}
Enabled {{ monitor.enabled }}
Result {{ monitor.mon.last }}
Global step {{ monitor.mon.counter }}
last result step {{ monitor.mon.counter2 }}
Result {{ monitor.mon.last }}
Rewritten formula {{ monitor.mon.rewrite }}
Violations {{ monitor.violations|length }}
Liveness Potentially violated ahead of {{ monitor.is_liveness_expired }} steps !
Trace (only last 50) : See full trace