From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,d275ad890e7b3ecc
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.224.27.14 with SMTP id g14mr1556130qac.1.1348035103144;
        Tue, 18 Sep 2012 23:11:43 -0700 (PDT)
Received: by 10.52.72.16 with SMTP id z16mr550705vdu.15.1348035103059; Tue, 18
 Sep 2012 23:11:43 -0700 (PDT)
Path: 
 t12ni16965028qak.0!nntp.google.com!v8no147167qap.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 18 Sep 2012 23:11:42 -0700 (PDT)
In-Reply-To: <5fc5a519-2936-4e17-8a99-86a77ab5e990@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=193.156.33.125;
 posting-account=bPTmZAoAAAC_6HP9XLKB9aAAxBa6BuOR
NNTP-Posting-Host: 193.156.33.125
References: <cf82061e-ebae-46fc-b8d3-26c6dc9f84d9@googlegroups.com>
 <5fc5a519-2936-4e17-8a99-86a77ab5e990@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <86bbd41f-8b54-4b06-9a29-a4bd8c8b3501@googlegroups.com>
Subject: Re: problem with Real_Matrix*Real_Matrix
From: reinkor <reinkor@gmail.com>
Injection-Date: Wed, 19 Sep 2012 06:11:43 +0000
Content-Type: text/plain; charset=ISO-8859-1
Date: 2012-09-18T23:11:42-07:00
List-Id: <comp.lang.ada>

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?

reinert