Re: Counterexamples timeout

Frank,

> Le 16 sept. 2022 =C3=A0 11:12, Frank Heckenbach =
<[email protected]> a =C3=A9crit :
>=20
> Akim Demaille wrote:
>=20
>>> Le 15 sept. 2022 =C3=A0 19:02, Jacob L. Mandelson =
<[email protected]> a =C3=A9crit :
>>>=20
>>> I think the English text needs a few minor edits.[...]
>>=20
>> Thanks a lot for this!  I installed the following commit, with your =
fixes.
>=20
> 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}
>=20
> 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.=