Re: Looking for validating tests

[Robert Dewar <dewar@gnat.com>]

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.