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.3 required=5.0 tests=BAYES_00,INVALID_MSGID, LOTS_OF_MONEY,MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,88256250bd473353 X-Google-Attributes: gid103376,public From: Robert Dewar Subject: Re: Looking for validating tests Date: 1999/08/06 Message-ID: <7oehvv$1c9$1@nnrp1.deja.com>#1/1 X-Deja-AN: 509542916 References: <7o9oig$j2u$1@nnrp1.deja.com> <7o9upm$o12$1@nnrp1.deja.com> <7oec7e$tme$1@nnrp1.deja.com> X-Http-Proxy: 1.0 x24.deja.com:80 (Squid/1.1.22) for client 205.232.38.14 Organization: Deja.com - Share what you know. Learn what you don't. X-Article-Creation-Date: Fri Aug 06 11:47:14 1999 GMT X-MyDeja-Info: XMYDJUIDrobert_dewar Newsgroups: comp.lang.ada X-Http-User-Agent: Mozilla/4.04 [en] (OS/2; I) Date: 1999-08-06T00:00:00+00:00 List-Id: In article <7oec7e$tme$1@nnrp1.deja.com>, aurelien_ratti@my-deja.com wrote: > The compilator I want to validate is a modified GNAT 3.11, > which run on a PC with Linux RedHat 5. The only contact I know > is the site of NYU where I have dowmloaded the sources of the > original compiler, and the Ada Core Technologies. I haven't > found these tests on their web site. > > So who should I Contact ? If you really mean you want to validate the compiler, then you need to do a lot more than just run the tests. You should contact the Ada Resource Association for details on how to arrange for a validation (the typical cost of such a validation is in the $10,000 range, that does not count the work you have to do in setting up for the validation, which can be very considerable). If you meant to say that you just want to run the validation tests, then that is a very different matter. As in my previous note, you should contact the vendor, in this case Ada Core Technologies. Normally this is something we would only provide to our customers, but please send mail to sales@gnat.com describing exactly what you are doing and what you need and perhaps we can do something for you. You can of course always get the tests from the Ada IC site in the usual manner. You will need to do the macro substitutions yourself if you follow that route. Robert Dewar Ada Core Technologies Sent via Deja.com http://www.deja.com/ Share what you know. Learn what you don't.