{% 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 }} Switch to {% if monitor.control_type.name == "POSTERIORI" %} Real time {% else %} Posteriori {% endif %}
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