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

[Akim Demaille]

> Le 24 janv. 2021 à 18:36, Bartkowiak, Michal (Nokia - PL/Wroclaw) 
> <michal.bartkowiak@nokia.com> a écrit :
> 
> Hello Akim,
> 
> The bugfix works also with our full grammar

Excellent news!

> (although counterexamples generation is unable to find one in reasonable 
> time).

Ouch.  I very much doubt it can make a difference, but you can play with the 
TIME_LIMIT envvar to give more time (default is 5, meaning 5s).

> Nevertheless, thank you for the fix! Counterexamples generation is indeed a 
> very useful feature.

All the credit should go to Chinawat Isradisaikul and Andrew Myers to have 
designed the feature, to Andrew Myers to have recruited Vincent Imbimbo to 
implement it, and... to Vincent Imbimbo to really have implemented it (and 
maintaining it!).

Cheers!