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,df055ffdd469757d
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
X-Received: by 10.180.92.202 with SMTP id co10mr1876917wib.1.1361027818518;
        Sat, 16 Feb 2013 07:16:58 -0800 (PST)
Path: 
 g1ni14653wig.0!nntp.google.com!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Sat, 16 Feb 2013 16:16:35 +0100
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7;
 rv:17.0) Gecko/20130107 Thunderbird/17.0.2
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Class wide preconditions: error in GNAT implementation?
References: <e155e2d6-ba1f-4fc0-a6e3-dafde002670b@googlegroups.com>
 <kfmlq1$puv$1@munin.nbi.dk>
 <30edd381-7505-496a-99e5-f884faf33c33@googlegroups.com>
 <16s3mt7cm3n61$.8qu6fp1nglfq.dlg@40tude.net>
In-Reply-To: <16s3mt7cm3n61$.8qu6fp1nglfq.dlg@40tude.net>
Message-ID: <511fa2d0$0$6562$9b4e6d93@newsspool4.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 16 Feb 2013 16:16:32 CET
NNTP-Posting-Host: b2f0c075.newsspool4.arcor-online.net
X-Trace: 
 DXC=i>fN@mBIgi:kUFX=Y?aLP;4IUK<Cl32<14Fo<]lROoR18kF<OcfhCO;B1B^46L>_d3PCY\c7>ejV8X1]:9o_PDn6?5c]DoA^lO?
X-Complaints-To: usenet-abuse@arcor.de
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Date: 2013-02-16T16:16:32+01:00
List-Id: <comp.lang.ada>

On 16.02.13 10:28, Dmitry A. Kazakov wrote:
> On Fri, 15 Feb 2013 18:50:36 -0800 (PST), ytomino wrote:
>
>> No. It's related to correctness.
>
> Not when checked dynamically by the same program.

"To be related to correctness" is not the same as "a correct proof
of correctness" (if such can exist for programs in general).