|
From: Nicholas N. <nj...@cs...> - 2005-07-18 13:20:41
|
On Mon, 18 Jul 2005, Duncan Sands wrote: > These both fail in similar ways: > > ,.,. C45624A ACATS 2.5 05-07-18 00:19:06 > ---- C45624A FOR FLOATING POINT TYPES, CHECK THAT CONSTRAINT_ERROR IS > RAISED IF MACHINE_OVERFLOWS IS FALSE. THIS TESTS DIGITS > 5. > - C45624A CONSTRAINT_ERROR WAS NOT RAISED WHEN MACHINE_OVERFLOWS WAS > FALSE. > 0:I1 > vex: the `impossible' happened: > iselCondCode > vex storage: P 512, T total 85688840 (2710216), T curr 136584 (4423) > > valgrind: the 'impossible' happened: > LibVEX called failure_exit(). ACATS seems to be an Ada test suite. See http://www.ada-auth.org/acats.html. Duncan, if you find any more Valgrind failures for this suite, please feel free to put them all in one email rather than 10 different ones. You might also want to report them with Valgrind's Bugzilla page to ensure they don't get lost. N |