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 }} |
{% if monitor.liveness != None and monitor.is_liveness_expired != False %}
Liveness |
Potentially violated ahead of {{ monitor.is_liveness_expired }} steps !
|
{% endif %}
Trace (only last 50) : |
See full trace |