Akim Demaille 156e548341 cex: give more details about -Wcex and -rcex ...

* data/bison-default.css: Cobalt does not seem to be supported.
* doc/bison.texi (Counterexamples): A new section.
(Understanding): Show the counterexamples as it shows in the report:
with its items.
(Bison Options): Document -Wcex and -rcex.

2020-07-04 11:43:35 +02:00

1.7 KiB

Raw Blame History

View Raw