Akim Demaille 22f62414f9 cex: don't report the items ...

Showing the items (with the state numbers) is really something we
should restrict to the report.

* src/counterexample.c (counterexample_report_shift_reduce)
(counterexample_report_reduce_reduce): Don't show the pointed rules,
we will do that in the report.
* tests/counterexample.at: Adjust.

2020-06-16 07:29:46 +02:00

14 KiB

Raw Blame History

View Raw