| Test | Tool | Expected | Actual | Rule | Status |
|---|---|---|---|---|---|
| {{ t.description }} | {{ t.tool }} | {{ t.expected }} | {{ t.actual }} | {{ t.rule }} | {{ "PASS" if t.passed else "FAIL" }} |
{{ coverage.rules_exercised | length }} / {{ coverage.total_deterministic_rules }} deterministic rules exercised
{% if coverage.rules_not_exercised %}