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

DOML Model Checker Results

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

DOML Version {{doml_version}}
{% if result != "sat" %} {% 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 %} {% endif %}
{% if csp %} {% include "csp_content.html" %} {% endif %} {% endblock content %}