[Top][All Lists]

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

Re: Counterexamples timeout

From: Frank Heckenbach
Subject: Re: Counterexamples timeout
Date: Fri, 16 Sep 2022 11:12:13 +0200

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

> +@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

reply via email to

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