Result:
{% if result == "sat" %}
Satisfied
{% else %}
Unsatisfied
{% endif %}
DOML Version{{doml_version}}
{% if result != "sat" %}
{% if all_reqs %}
{% for req in all_reqs %}
{% if req.result == "unsat" %}
Unsatisfied ({{req.time}}s)
{{req.id}}
{{req.type}}
Description
{{req.description}}
Error message:
{{req.message}}
{% else %}
Satisfied ({{req.time}}s)
{{req.id}}
{{req.type}}
Description
{{req.description}}
{% endif %}
{% endfor %}
{% endif %}
{% if user %}
User Requirements
{% for req in user %}
{{req[0]}}
{{req[1]}}
{% for note in req[2] %}
{{note}}
{% endfor %}
{% endfor %}
{% 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 %}