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.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Formal Subprogram Access
Date: Wed, 14 Feb 2018 14:36:11 +0000
Organization: A noiseless patient Spider
Message-ID: <lymv0bk59g.fsf@pushface.org>
References: <p5l6bd$ete$1@dont-email.me> <p5lne2$fe9$1@franka.jacob-sparre.dk>
	<p5mflm$ibq$1@dont-email.me> <p5tudq$5eb$1@franka.jacob-sparre.dk>
	<lyeflpkrh3.fsf@pushface.org> <p6019s$hmo$1@franka.jacob-sparre.dk>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: reader02.eternal-september.org;
 posting-host="a2e5d5aca34a08581a2b266cdfc7f64b";
	logging-data="716"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19GM2RMTMn4m6gQp0RhSshVd4OS9TS9jx0="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (darwin)
Cancel-Lock: sha1:2JguhQAd58kO80cbtY0+p0yAZZk=
	sha1:V5wFuO7v/qkCebGu8Z0QOprINsw=
Xref: reader02.eternal-september.org comp.lang.ada:50447
Date: 2018-02-14T14:36:11+00:00
List-Id: <comp.lang.ada>

"Randy Brukardt" <randy@rrsoftware.com> writes:

> I have a set of tools for running the grading tool with GNAT. I've
> been waiting to find some time to finish vetting the results, which
> I've recently done. [Although I really ought to redo it with GNAT
> 18.1.] So I'll be posting them soon as "submitted tests" (since
> compiler-specific stuff doesn't belong in the ACATS proper).

Good news!

For info, my current 8.0.1 20180207 results, vs 4.1f, are

# of expected passes		2500
# of unexpected failures	9
# of expected failures		1451
# of unresolved testcases	11
# of unsupported tests		121
*** FAILURES: c250002  cxd1003 cxd1004 cxd1005 cxd4007  cxd2006 cxd3001 cxd3002  c611a04 

'unsupported' includes those where there is more than one copy of each
unit in the input source.

'unresolved' means visual inspection required, all OK.

c250002 is a Mac file system UTF8 case sensitivity issue, OK on Linux.

The cxd failures are I think down to running on a host system, & AdaCore
would probably mark them as expected failures.

The new one to me is c611a04 (class-wide pre/post conditions); also
fails with GCC 7.1.0.