From: Simon Wright <simon@pushface.org>
Subject: Re: problem with Real_Matrix*Real_Matrix
Date: Wed, 19 Sep 2012 09:17:15 +0100
Date: 2012-09-19T09:17:15+01:00 [thread overview]
Message-ID: <m2ipba4eb8.fsf@pushface.org> (raw)
In-Reply-To: 86bbd41f-8b54-4b06-9a29-a4bd8c8b3501@googlegroups.com
reinkor <reinkor@gmail.com> writes:
> On Tuesday, September 18, 2012 10:33:42 PM UTC+2, AdaMagica wrote:
>> It's a rather scary bug, isn't it. In an operation like this!
>>
>> Were AdaCore sleeping?
>
> But they have some formalized QA? N (>>1) tests to pass through at
> every release?
FSF GCC has the ACATS tests (not the latest version, though) + some
GNAT-specific tests (there are 947 source files, some tests require as
many as 3 sources).
AdaCore tell us that they have, in addition, test cases that they don't
make public (a lot of them are from bugs reported by customers and may
contain sensitive material); and that all these tests are run on a
regular basis.
I would have expected there to be a set of tests about numerics, and I'd
have expected these tests to be re-run after the refactoring that
happened at the GCC 4.6-4.7 change.
next prev parent reply other threads:[~2012-09-21 1:13 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-09-17 13:37 problem with Real_Matrix*Real_Matrix reinkor
2012-09-17 17:01 ` Niklas Holsti
2012-09-18 10:18 ` Anatoly Chernyshev
2012-09-18 10:50 ` Simon Wright
2012-09-18 17:10 ` Anatoly Chernyshev
2012-09-18 18:16 ` Egil Høvik
2012-09-18 18:39 ` Anatoly Chernyshev
2012-09-18 19:23 ` Simon Wright
2012-09-18 20:33 ` AdaMagica
2012-09-19 6:11 ` reinkor
2012-09-19 8:17 ` Simon Wright [this message]
2012-09-19 8:55 ` Ken Thomas
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox