Of course, thanks! Best regards, Michal Bartkowiak
-----Original Message----- From: Akim Demaille <a...@lrde.epita.fr> Sent: Friday, January 8, 2021 6:19 AM To: Bartkowiak, Michal (Nokia - PL/Wroclaw) <michal.bartkow...@nokia.com> Cc: Bison Bugs <bug-bison@gnu.org> Subject: Re: Bug (segmentation fault) in the generation of counterexamples Hi Michal, > Le 7 janv. 2021 à 10:47, Bartkowiak, Michal (Nokia - PL/Wroclaw) > <michal.bartkow...@nokia.com> a écrit : > > Hello, > > Ok, I have minimized original grammar and prepared small grammar (attached) > which reproduces the problem (segmentation fault is occurring and backtrace > from debugger is analogical as in the original grammar). Excellent! Thanks a lot for having taking the time to prepare this, it will be most helpful. > If you find and fix the problem it would be great if you could send me a > patch with the solution. I would then apply it to Bison and verify that it > also solves the problem with the compilation of the original grammar. I have other things to finish first, but I'll try to process your issue asap. Cheers!