The HTML reports should also include the counterexamples. I don't when I will work on that, but beforehand some improvements were dearly needed in the XML outputs.
Akim Demaille (10): maint: make it easier to update expectations style: factor complex expressions tests: check html reports: update html ouput reports: let xml reports catch up with --report and --graph reports: let html reports catch up with --report and --graph html: simplify html: don't define several times the same anchors fixup! maint: make it easier to update expectations html: capitalize titles README-hacking.md | 2 +- data/xslt/xml2text.xsl | 20 +- data/xslt/xml2xhtml.xsl | 120 +++++--- src/print-xml.c | 23 +- src/print.c | 15 +- tests/local.at | 9 +- tests/local.mk | 8 + tests/report.at | 652 ++++++++++++++++++++++++++++++++++++++-- 8 files changed, 753 insertions(+), 96 deletions(-) -- 2.27.0
