Akim Demaille 1ec93ca2a2 cex: clean the display of conflicted symbols ...

Instead of `On Symbols: {b,c,}`, display `On Symbols: b, c`.

* src/counterexample.c (counterexample_report_reduce_reduce): We don't
need braces.
Use commas as a separator, not a terminator.
* tests/counterexample.at: Adjust.

2020-05-23 18:23:07 +02:00

14 KiB

Raw Blame History

View Raw