comp.lang.ada
 help / color / mirror / Atom feed
From: Stephen Leake <Stephe.Leake@nasa.gov>
Subject: Re: Ada on PDA - success!
Date: 11 Jun 2003 12:22:42 -0400
Date: 2003-06-11T16:22:48+00:00	[thread overview]
Message-ID: <ud6hkporx.fsf@nasa.gov> (raw)
In-Reply-To: 5ad0dd8a.0306110330.6ea36d8@posting.google.com

wojtek@power.com.pl (Wojtek Narczynski) writes:

> Stephen,
> 
> > SAL (http://www.toadmail.com/~ada_wizard/) comes with a complete set
> > of tests. They have found bugs in most of the pre-releases of GNAT,
> > including the latest; if you are using GNAT from gcc 3.3, you'll find
> > the same bugs :).
> 
> I used GCC 3.2.3 and GNAT 5.01w (from libre CVS). It worked:
> 
> # ./test_all_harness 
>    Total Tests Run:  22
> 
>    Successful Tests: 22
> 
>    Failed Tests: 0
> 
>    Unexpected Errors: 0

That's good. However, not all of the SAL tests are in
test_all_harness; that's an AUnit test harness, and only the most
recent tests are in it. Run SAL/Build/Gnat_Debug/Makefile for the
complete list of tests; most generate an output file which is then
diff'ed against a known good output file.

GNAT 5.01w from CVS should in fact have all the bug fixes.

-- 
-- Stephe



      reply	other threads:[~2003-06-11 16:22 UTC|newest]

Thread overview: 12+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-06-09 15:23 Ada on PDA - success! Wojtek Narczynski
2003-06-09 18:38 ` Robert C. Leif
2003-06-10 10:10   ` Wojtek Narczynski
2003-06-09 21:08 ` Luke A. Guest
2003-06-10 10:04   ` Wojtek Narczynski
2003-06-10 17:02     ` Wojtek Narczynski
2003-06-10 17:25       ` Robert A Duff
2003-06-11 16:47         ` Wojtek Narczynski
2003-06-10 18:11       ` David C. Hoos
2003-06-10 18:19       ` Stephen Leake
2003-06-11 11:30         ` Wojtek Narczynski
2003-06-11 16:22           ` Stephen Leake [this message]
replies disabled

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