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,43127f177a55dc41 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.43.48.202 with SMTP id ux10mr22730576icb.6.1320437029301; Fri, 04 Nov 2011 13:03:49 -0700 (PDT) Path: p6ni71363pbn.0!nntp.google.com!news1.google.com!npeer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nntp.club.cc.cmu.edu!feeder.erje.net!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail From: Simon Wright Newsgroups: comp.lang.ada Subject: Re: limited allocated classwide types Date: Fri, 04 Nov 2011 20:03:46 +0000 Organization: A noiseless patient Spider Message-ID: References: <0ed43f83-40e7-46d3-8cc4-e1c41f500d28@c1g2000vbw.googlegroups.com> <14ff4109-2f02-4dee-9638-68c1befc07c2@hc5g2000vbb.googlegroups.com> Mime-Version: 1.0 Injection-Info: mx04.eternal-september.org; posting-host="dFCm8HWntFqmDIilBLqEJQ"; logging-data="13122"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18Iy9QX1eqOMy4duNsa9cugUAbBi+qgal0=" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.3 (darwin) Cancel-Lock: sha1:V2Ac9a5iv3+q+L2lOEKGl+LtV2c= sha1:cxCjEUcp9Ygum+54KrRGAQHSO8o= Xref: news1.google.com comp.lang.ada:18832 Content-Type: text/plain; charset=us-ascii Date: 2011-11-04T20:03:46+00:00 List-Id: Adam Beneschan writes: > I'm wondering if there might be a need for some other public test > suite that users can contribute to. I don't think ACATS would be an > appropriate suite to for just dumping any test cases users find--that > just doesn't seem like the right place--but perhaps someone could > start a web site. http://www.ada-auth.org/submit.html lists tests that have been proposed but aren't (yet) in ACATS.