[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 |
Frank,
> 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.
Cheers.