[Top][All Lists]

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

Re: Minor documentation and message issues

From: Akim Demaille
Subject: Re: Minor documentation and message issues
Date: Sat, 10 Sep 2022 14:55:31 +0200

Hi Jacob and Frank,

> Le 25 juil. 2022 à 17:15, Jacob L. Mandelson <jlm-bbison@jlm.ofb.net> a écrit 
> :
> On Mon, Jul 25, 2022 at 03:44:50PM +0200, Frank Heckenbach wrote:
>> [...]
>> Another thing, when running with "-Wcounterexamples", I sometimes
>> get messages like this:
>>  Productions leading up to the conflict state found.  Still finding a 
>> possible unifying counterexample...time limit exceeded: 6,000000
>> Maybe it's because I'm not a native English speaker, but I've always
>> found the usage of "find" in the meaning of "search" confusing, but
>> especially here, as it ultimately does not find anything.
> Yes, "find" does denote reaching whatever the search sought, but the
> imperfect sense in general denotes non-completion, hence does not
> denote success.  Eg, we say that the accident occurred while Alice was
> crossing the street and Bob was driving to the store, even though neither
> action completed.  That said, using a term that specifically denotes
> an in-progress search probably would be clearer.  The verb for that is
> "seek", but I get the feeling that "seeking" is decreasing in modern
> usage as redundant with "searching".

I'll install this.  Thanks!

commit 290d3d09d440a7fc699e9553b0357ec900726809
Author: Akim Demaille <akim.demaille@gmail.com>
Date:   Sat Sep 10 14:53:39 2022 +0200

    cex: clarify message
    Reported by Frank Heckenbach.
    src/counterexample.c (unifying_example): Prefer "searching for" to
    "finding", which is somewhat confusing.

diff --git a/src/counterexample.c b/src/counterexample.c
index 6ce72c9a..71436fd6 100644
--- a/src/counterexample.c
+++ b/src/counterexample.c
@@ -1165,7 +1165,7 @@ unifying_example (state_item_number itm1,
                   && stage3result)
                   fputs ("Productions leading up to the conflict state found.  
-                         "Still finding a possible unifying counterexample...",
+                         "Still searching for a possible unifying 
                   assurance_printed = true;

reply via email to

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