RE: Bug (segmentation fault) in the generation of counterexamples

[Bartkowiak, Michal (Nokia - PL/Wroclaw)]

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 <akim@lrde.epita.fr> 
Sent: Sunday, January 24, 2021 8:07 AM
To: Bartkowiak, Michal (Nokia - PL/Wroclaw) <michal.bartkowiak@nokia.com>
Cc: Bison Bugs <bug-bison@gnu.org>; Vincent Imbimbo <vmi6@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!