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.
