http://www.cs.cornell.edu/andru/papers/cupex/--Andrew Myers
Just started using bison again after a long time. I am really missing
the counterexample generation that is part of some existing parser
generators like Menhir and the Polyglot version of CUP. Is anyone
interested in adding that feature to Bison? Our PLDI 2015 paper explains
how to generate concise counterexamples for shift-reduce and
reduce-reduce conflicts. Much easier than trying to understand the LALR
state machine! See:
