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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,703c4f68db81387d
X-Google-Thread: 109fba,703c4f68db81387d
X-Google-Thread: 115aec,703c4f68db81387d
X-Google-Thread: f43e6,703c4f68db81387d
X-Google-Attributes: gid103376,gid109fba,gid115aec,gidf43e6,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!news.glorb.com!wn13feed!worldnet.att.net!12.120.4.37!attcg2!attcg1!ip.att.net!news.binc.net!kilgallen
From: Kilgallen@SpamCop.net (Larry Kilgallen)
Newsgroups: comp.lang.ada,comp.lang.c++,comp.realtime,comp.software-eng
Subject: Re: Teaching new tricks to an old dog (C++ -->Ada)
Date: 14 Mar 2005 10:26:14 -0600
Organization: LJK Software
Message-ID: <bUnsEyPamzcU@eisner.encompasserve.org>
References: <871xau9nlh.fsf@insalien.org> <d110iv$kqb$1@sparta.btinternet.com>
 <d11ij8$538$1@panix2.panix.com> <19167262.fkuVsrGd7i@linux1.krischik.com>
 <d126i9$kb0$1@panix2.panix.com> <wccpsy3awzw.fsf@shell01.TheWorld.com>
 <opsnlu5k0q5afhvo@localhost>
NNTP-Posting-Host: eisner.encompasserve.org
X-Trace: grandcanyon.binc.net 1110817554 21099 192.135.80.34 (14 Mar 2005
 16:25:54 GMT)
X-Complaints-To: abuse@binc.net
NNTP-Posting-Date: Mon, 14 Mar 2005 16:25:54 +0000 (UTC)
Xref: g2news1.google.com comp.lang.ada:9371 comp.lang.c++:45573
 comp.realtime:1454 comp.software-eng:5020
Date: 2005-03-14T10:26:14-06:00
List-Id: <comp.lang.ada>

In article <opsnlu5k0q5afhvo@localhost>, "Ed Falis" <falis@verizon.net> writes:
> On 13 Mar 2005 19:31:47 -0500, Robert A Duff  
> <bobduff@shell01.TheWorld.com> wrote:
> 
>> As far as I know, all Ada compiler vendors take it seriously, and ensure
>> that their compilers pass 100% of the test suite.  My company (Sofcheck,
>> Inc.) runs the ACATS every night, so we notice any regressions quickly.
>> We don't normally release a compiler that doesn't pass.  I believe
>> AdaCore (the folks who produce the gcc version of Ada (GNAT)) do the
>> same.
> 
> Yes, we do.
> 
>> As I said elsewhere, passing 100% of the ACATS, or 100% of any other
>> test suite, does not guarantee the absense of bugs (obviously).
> 
> Agree wholeheartedly.

But it is reassuring to know that a particular compiler does at least
some things correctly.