[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Akim Demaille
Subject: Re: Bug (segmentation fault) in the generation of counterexamples
Date: Sun, 24 Jan 2021 18:53:38 +0100

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


reply via email to

[Prev in Thread] Current Thread [Next in Thread]