The final (?) bunch of changes to improve the readability of the counterexamples.
Cheers! Akim Demaille (6): diagnostics: use hyperlinks to point to the only documentation cex: use usual routines for diagnostics about R/R conflicts cex: use usual routines for diagnostics about S/R conflicts cex: don't issue an empty line between counterexamples cex: improve readability of the subsections cex: label all the derivations by their initial action src/complain.c | 38 +++- src/counterexample.c | 99 +++++++-- src/derivation.c | 3 +- src/derivation.h | 2 +- tests/conflicts.at | 40 ++-- tests/counterexample.at | 470 ++++++++++++++++++---------------------- tests/diagnostics.at | 43 ++-- tests/local.at | 2 +- tests/report.at | 62 +++--- 9 files changed, 389 insertions(+), 370 deletions(-) -- 2.27.0
