[Top][All Lists]

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

Re: Counterexamples timeout

From: Akim Demaille
Subject: Re: Counterexamples timeout
Date: Fri, 16 Sep 2022 21:44:01 +0200


> Le 16 sept. 2022 à 11:12, Frank Heckenbach <f.heckenbach@fh-soft.de> a écrit :
> Akim Demaille wrote:
>>> Le 15 sept. 2022 à 19:02, Jacob L. Mandelson <jlm-bbison@jlm.ofb.net> a 
>>> écrit :
>>> I think the English text needs a few minor edits.[...]
>> Thanks a lot for this!  I installed the following commit, with your fixes.
> Thanks. It looks good; I can't easily test it now, but after the
> next release (but don't bother making one just for this).

I'd like to make a (bug-fix) release soon anyway.  The latest release is
quite old now, and several issues have been addressed.

>> +@deffn Directive {%define cex.timeout} @var{duration}
> Does this mean this can be set in the grammar file? I wonder if
> that's useful -- it seems more of an environmental setting to me.
> But if it would be more work to make it not settable this way, don't
> worry.

Yes, it does mean you can define it in the grammar.  I also agree
it does not make a lot of sense.

But %define and -D are two interfaces to the same store.  It would
indeed require added complexity to have one but not the other.


reply via email to

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