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,a875d9649dde34e3 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news1.google.com!newsfeed.stanford.edu!sn-xit-03!sn-xit-12!sn-xit-06!sn-post-01!supernews.com!corp.supernews.com!not-for-mail From: Jerry van Dijk Newsgroups: comp.lang.ada Subject: Re: Not redistributing GNAT Pro Date: 09 Oct 2004 11:57:44 +0200 Organization: Posted via Supernews, http://www.supernews.com Message-ID: Sender: jerry@JVDSYS References: <4e8fe302b927b504b93983dba6b0d79f@localhost.talkaboutprogramming.com> <87y8imp52w.fsf@insalien.org> <4163C54F.9050700@netcabo.pt> <87sm8qmjhv.fsf_-_@insalien.org> <87oejdkvd0.fsf@insalien.org> <4167148B.66EDE63B@yahoo.com> User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.3 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Complaints-To: abuse@supernews.com Xref: g2news1.google.com comp.lang.ada:4952 Date: 2004-10-09T11:57:44+02:00 List-Id: CBFalconer writes: > Is there a standard test suite for validating an Ada compiler, and > if so where, and is it free. Yes, its called the Ada Conformity Assessment Test Suite, or ACATS for short. It is integrated in recent gcc test suites. See: http://www.ada-auth.org/acats.html. However, being an Ada programmer I have to pedantically point out that passing a conformance suite in and by itself does not say much about the usability of a compiler system for real work. -- -- Jerry van Dijk -- Leiden, Holland -- -- 'Tradition is not the worship of ashes, but the preservation of fire.' -- Gustav Mahler (1860-1911)