Re: Counterexamples timeout

[Akim Demaille]

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.