From: aurelien_ratti@my-deja.com
Subject: Re: Looking for validating tests
Date: 1999/08/06
Date: 1999-08-06T00:00:00+00:00 [thread overview]
Message-ID: <7oec7e$tme$1@nnrp1.deja.com> (raw)
In-Reply-To: 7o9upm$o12$1@nnrp1.deja.com
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.
next prev parent reply other threads:[~1999-08-06 0:00 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-08-04 0:00 Looking for validating tests aurelien_ratti
1999-08-04 0:00 ` Robert Dewar
1999-08-06 0:00 ` aurelien_ratti [this message]
1999-08-06 0:00 ` Robert Dewar
1999-08-06 0:00 ` Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox