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,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,fd9a8f91bb89a8d2
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-11-19 14:25:16 PST
Path: 
 archiver1.google.com!news2.google.com!news.maxwell.syr.edu!newsxfer.eecs.umich.edu!elk.ncren.net!nntp.upenn.edu!msunews!not-for-mail
From: "Chad R. Meiners" <crmeiners@hotmail.com>
Newsgroups: comp.lang.ada
Subject: Re: Is it possible to build an Ada cross-compiler for an 8-bit
 embedded target now that gcc 3.X has support for Ada?
Date: Wed, 19 Nov 2003 17:23:57 -0500
Organization: Michigan State University
Message-ID: <bpgqj7$8hl$1@msunews.cl.msu.edu>
References: <zgRsb.200$co2.10332@nnrp1.ozemail.com.au>
 <vrih63aerng37f@corp.supernews.com> <uptfp3bpu.fsf@nasa.gov>
 <vrkvm963glk1d4@corp.supernews.com> <ubrr91g7a.fsf@nasa.gov>
 <vrnjndmn0vqge6@corp.supernews.com>
NNTP-Posting-Host: arctic.cse.msu.edu
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2800.1158
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1165
Xref: archiver1.google.com comp.lang.ada:2699
Date: 2003-11-19T17:23:57-05:00
List-Id: <comp.lang.ada>


"Randy Brukardt" <randy@rrsoftware.com> wrote in message
news:vrnjndmn0vqge6@corp.supernews.com...
> Testing can never prove the absense of bugs; unless you're using
> SPARK, you have to assume there are still some in there.

Well non-exhaustive testing cannot prove the absense of bugs ;)
Furthermore, SPARK can only guaruntee the absence of certain bugs (problem
specification errors are outside of SPARK's scope).  Thus, it is always safe
to assume that there are bugs in your software.  ;-)