[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Counterexample generation

From: Andrew Myers
Subject: Counterexample generation
Date: Thu, 23 Jun 2016 11:59:55 -0400
User-agent: Postbox 4.0.8 (Macintosh/20151105)

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:


--Andrew Myers

reply via email to

[Prev in Thread] Current Thread [Next in Thread]