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

Akim Demaille <[email protected]>
Newsgroups gmane.comp.parsers.bison.bugs
Message-ID <[email protected]> 
Hi Michal,

Thanks for the detailed report.

> Le 5 janv. 2021 à 15:38, Bartkowiak, Michal (Nokia - PL/Wroclaw) <[email protected]> a écrit :
> 
> I hope that it would be possible to debug the problem with attached core file. If not, please let me know and I will try to provide more information about the grammar (some minimal example) I am using to generate the problem.

I have tried to use your core file on my machine, but it did not work.  I'm afraid I need a grammar file to track it.

Cheers!
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.