Hi Jefrey, > Le 10 janv. 2021 à 12:26, Akim Demaille <a...@lrde.epita.fr> a écrit : > >> Le 9 janv. 2021 à 22:56, Jeffrey Walton <noloa...@gmail.com> a écrit : >> ./counterexample.at:621: sed -e 's/time limit exceeded: [0-9][.0-9]*/time >> limit exceeded: XXX/g;s/ *$//;' stderr >> --- - >> +++ >> /home/jwalton/Build-Scripts/bison-3.7.4/tests/testsuite.dir/at-groups/263/stdout >> @@ -31,7 +31,6 @@ >> `-> c A >> `-> . >> input.y: warning: reduce/reduce conflict on token A [-Wcounterexamples] >> -time limit exceeded: XXX >> First example: c . c A A $end >> First reduce derivation >> $accept
I don't understand this part. The result is the expected one, a nonunifying example. So the timeout was fired. Just was just not printed. I don't understand how this can happen. >> @@ -48,7 +47,6 @@ >> `-> c A >> `-> . >> input.y: warning: shift/reduce conflict on token A [-Wcounterexamples] >> -time limit exceeded: XXX >> First example: b c . A >> Shift derivation >> a >> @@ -100,23 +98,29 @@ >> `-> c A >> `-> . >> input.y: warning: reduce/reduce conflict on token $end [-Wcounterexamples] >> - Example: b d . >> + First example: b d . $end >> First reduce derivation >> - a >> - `-> b d . >> + $accept >> + `-> a $end >> + `-> b d . >> + Second example: b d . $end >> Second reduce derivation >> - a >> - `-> b d >> - `-> d . >> + $accept >> + `-> a $end >> + `-> b d >> + `-> d . This part does not make sense to me either. It behaves as is it did not find a unifying example (it printed "First" and "Second", instead of just "Example" once), yet it's the same example. Also, it started from $accept instead of just `a`. Would you agree to try to same test with the current git version of Bison? It's available here: https://www.lrde.epita.fr/~akim/private/bison/bison-3.7.4.254-a0905.tar.gz https://www.lrde.epita.fr/~akim/private/bison/bison-3.7.4.254-a0905.tar.lz https://www.lrde.epita.fr/~akim/private/bison/bison-3.7.4.254-a0905.tar.xz There is no known issue in this tarball, it's just as good as a release, except that it includes unfinished new features. Build it, and check it. Test 263 in 3.7.4 is test 271 in this tarball. Once 271 failed, please run: ./src/bison -Tcex -Wcex ./tests/testsuite.dir/271/input.y >/tmp/271.log 2>&1 Compress and please send /tmp/271.log. It is probably very long, instead of sending it, maybe you can leave it somewhere on the Internet. Thanks in advance!