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.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,43127f177a55dc41
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.0.170 with SMTP id 10mr292541pbf.2.1320757587378;
        Tue, 08 Nov 2011 05:06:27 -0800 (PST)
Path: 
 h5ni12584pba.0!nntp.google.com!news1.google.com!goblin1!goblin.stu.neva.ru!news.tornevall.net!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: limited allocated classwide types
Date: Tue, 8 Nov 2011 14:05:46 +0100
Organization: cbb software GmbH
Message-ID: <nwvdsb4tk8og.1kmen11x7w634$.dlg@40tude.net>
References: <0ed43f83-40e7-46d3-8cc4-e1c41f500d28@c1g2000vbw.googlegroups.com>
 <m21utoer3d.fsf@pushface.org>
 <e3ca4799-e6e1-42c3-a522-d04b8221979f@er6g2000vbb.googlegroups.com>
 <j90cm9$7p0$1@dont-email.me>
 <14ff4109-2f02-4dee-9638-68c1befc07c2@hc5g2000vbb.googlegroups.com>
 <j9ab04$l5r$1@munin.nbi.dk> <j9b676$7ph$1@dont-email.me>
 <m2bosmdc6k.fsf@pushface.org>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: FbOMkhMtVLVmu7IwBnt1tw.user.speranza.aioe.org
Mime-Version: 1.0
X-Complaints-To: abuse@aioe.org
User-Agent: 40tude_Dialog/2.0.15.1
X-Notice: Filtered by postfilter v. 0.8.2
Xref: news1.google.com comp.lang.ada:18859
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Date: 2011-11-08T14:05:46+01:00
List-Id: <comp.lang.ada>

On Tue, 08 Nov 2011 12:35:31 +0000, Simon Wright wrote:

> Brian Drummond <brian@shapes.demon.co.uk> writes:
> 
>> Perhaps a starting point is to GPL any testcases we submit against
>> (FSF or GPL) Gnat, so that they can become part of the public
>> record. (I understand that commercial bug reports against commercial
>> compilers will be treated differently!)
> 
> There are (some) test cases posted on the GCC Bugzilla, ie against FSF
> GCC. Test cases posted to report@adacore.com aren't made public, even
> for reports against GNAT GPL, though there'd be nothing to prevent the
> author doing so if appropriate.

There should be some defined test strategy as well to achieve minimal
coverage. E.g. each feature need to be tested in the contexts of being
publicly visible, invisible X within generic instantiation X in child
packages X in generic instance made a child package X within limited/normal
return statements.

X = Cartesian product

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de