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

Akim Demaille <[email protected]> Sun, 24 Jan 2021 18:53:38 +0100

Newsgroups	gmane.comp.parsers.bison.bugs
Message-ID	<[email protected]>


> Le 24 janv. 2021 à 18:36, Bartkowiak, Michal (Nokia - PL/Wroclaw) <[email protected]> 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!