{% extends "base.html" %} {% block content %}

DOML Model Checker Results DOML Version {{doml_version}}

Result: {% if result == "sat" %} Satisfied {% else %} Unsatisfied {% endif %}

Model validated in {{elapsed_time}}s.

{% if all_reqs %} {% endif %} {% if user %}

User Requirements

{% endif %} {% if dontknow %}

Timeout!

There's been a timeout during the validation, so some requirements couldn't be verified.
This is not the expected behaviour unless you are using custom requirements or/and very large DOML models.
Please report the issue if possible!
{% endif %} {% if net_validation %} {% include "net.html" %} {% else %}

Network Validation

No issue detected within the model network configuration. {% endif %}
{% if csp %} {% include "csp_content.html" %} {% endif %} {% endblock content %}