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,
	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: aurelien_ratti@my-deja.com
Subject: Re: Looking for validating tests
Date: 1999/08/06
Message-ID: <7oec7e$tme$1@nnrp1.deja.com>#1/1
X-Deja-AN: 509521974
References: <7o9oig$j2u$1@nnrp1.deja.com> <7o9upm$o12$1@nnrp1.deja.com>
X-Http-Proxy: 1.0 x39.deja.com:80 (Squid/1.1.22) for client 195.25.228.62
Organization: Deja.com - Share what you know. Learn what you don't.
X-Article-Creation-Date: Fri Aug 06 10:08:50 1999 GMT
X-MyDeja-Info: XMYDJUIDaurelien_ratti
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.51 [en] (X11; I; SunOS 5.5.1 sun4u)
Date: 1999-08-06T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <7o9upm$o12$1@nnrp1.deja.com>,
  Robert Dewar <robert_dewar@my-deja.com> wrote:
> In article <7o9oig$j2u$1@nnrp1.deja.com>,
>   aurelien_ratti@my-deja.com wrote:
> > Hi !
> >
> > I am looking for the tests which are used to validate Ada
> compilers.
> > Does anybody know where I can download them on the Web ?
>
> I recommend you contact your vendor, that will save you time,
> since the tests typically have to be tailored for particular
> platforms (e.g. size of Integer) and your vendor may be able
> to supply you with the tailored tests.
>

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 ?


Sent via Deja.com http://www.deja.com/
Share what you know. Learn what you don't.