Expand description
JUnit-XML proof backend.
JunitBackend renders a ProofReport as a
JUnit-XML document so non-Rust CI systems (which natively ingest JUnit-XML
test reports) can surface testty proof results as test cases and failures.
Each scenario becomes a <testsuite>, each assertion becomes a <testcase>
(passing, or with a <failure> child carrying the structured message), and
a capture with no assertions becomes a skipped <testcase> so a documented
step is not mistaken for a real passing check. Test-case names that would
otherwise collide gain a stable #N suffix to keep each identity unique.
Structsยง
- Junit
Backend - Renders a proof report as a JUnit-XML document.