comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: GNAT 3.13p build for Solaris 8_x86
Date: Fri, 13 Jul 2001 12:24:22 -0500
Date: 2001-07-13T12:24:22-05:00	[thread overview]
Message-ID: <B9G37.15$0B1.873@client> (raw)
In-Reply-To: 5ee5b646.0107121644.eb04f71@posting.google.com

Robert Dewar wrote in message
<5ee5b646.0107121644.eb04f71@posting.google.com>...
>"Randy Brukardt" <randy@rrsoftware.com> wrote in message
news:<WVo37.44$Cp1.1778@client>...
>> Recent conformity assessment (validation) test reports include a
>> sample script showing how they were run. So, all you need do is look
>> up an appropriate test report for GNAT and reproduce that. You can
>> find the test reports at www.adaic.org/compiler/acat/reports
>
>Well it's not quite so easy, in particular, running and evaluating
>the B tests and the L tests is quite complex.

True enough. Running isn't usually a problem, but figuring out whether
they pass or not is extremely time-consuming (even for compiler
vendors). But most of the value of the ACATS is in the C-Tests,
especially when you're starting with a compiler for which it is known
that for some version the B-Tests pass. I can see end-users usefully
running C-Tests, and that is what I'm trying to encourage. In the case
in question, insuring that all of the C-Tests pass would go a long way
toward verifying his build is correct.

            Randy Brukardt






  reply	other threads:[~2001-07-13 17:24 UTC|newest]

Thread overview: 11+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-07-11 15:22 GNAT 3.13p build for Solaris 8_x86 Andreas Almroth
2001-07-12  3:15 ` Robert Dewar
2001-07-12 10:38   ` Andreas Almroth
2001-07-12 11:49   ` Larry Kilgallen
2001-07-12 13:08     ` Andreas Almroth
2001-07-12 21:47       ` Randy Brukardt
2001-07-13  0:44         ` Robert Dewar
2001-07-13 17:24           ` Randy Brukardt [this message]
2001-07-17 17:01             ` Laurent Guerby
2001-07-13  0:35       ` tmoran
2001-07-12 14:33     ` Robert Dewar
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox