Re: limited allocated classwide types

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

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