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

[Akim Demaille]

Hi Michal,

Thanks for the detailed report.

> Le 5 janv. 2021 à 15:38, Bartkowiak, Michal (Nokia - PL/Wroclaw) 
> <michal.bartkowiak@nokia.com> 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!