On Thu, 19 Jul 2018 at 20:02, U.Mutlu <um@xxxxxxxxxxx> wrote: > > Jonathan Wakely wrote on 07/19/2018 08:48 PM: > > On Thu, 19 Jul 2018 at 19:07, U.Mutlu wrote: > >> This is suspect: > >> It seems running the above said single file test does not produce any FAIL :-) > >> (unlike the corrosponding FAILs in the big list above) > >> Ie. maybe some "false-positives" happening when doing the big "make check"s. > >> So, then there could be a bug in the testing framework (?) > > > > Unlikely. Before assuming a bug check the test actually ran. Look in > > the .log or .sum file and see if it PASSed or simply wasn't run. If > > you're expecting a FAIL it's far more likely it just didn't run than > > you've found a bug in DejaGnu that nobody else has found. > > I definitely cannot reproduce the said FAIL (tried many times to do so as said > previously by testing just this specific case). > > There is no indication of any fail/FAIL in the output, nor in the new report > (after deleting *.sum's before running that single test); the report is > practically empty: Like I said, the test didn't run. If it ran you would see a result (PASS, FAIL, XPASS, UNSUPPORTED ...).