> 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!
