Hello Akim, The bugfix works also with our full grammar (although counterexamples generation is unable to find one in reasonable time).
Nevertheless, thank you for the fix! Counterexamples generation is indeed a very useful feature. Best regards, Michal Bartkowiak -----Original Message----- From: Akim Demaille <a...@lrde.epita.fr> Sent: Sunday, January 24, 2021 8:07 AM To: Bartkowiak, Michal (Nokia - PL/Wroclaw) <michal.bartkow...@nokia.com> Cc: Bison Bugs <bug-bison@gnu.org>; Vincent Imbimbo <v...@cornell.edu> Subject: Re: Bug (segmentation fault) in the generation of counterexamples Michal, Vincent Imbimbo, the author of cex in Bison, fixed your issue in https://lists.gnu.org/r/bison-patches/2021-01/msg00106.html. Bison 3.7.5 should be released soon with the fix. Thanks again for the report!