From: Simon Wright <simon@pushface.org>
Subject: Re: Formal Subprogram Access
Date: Wed, 14 Feb 2018 14:36:11 +0000
Date: 2018-02-14T14:36:11+00:00 [thread overview]
Message-ID: <lymv0bk59g.fsf@pushface.org> (raw)
In-Reply-To: p6019s$hmo$1@franka.jacob-sparre.dk
"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.
next prev parent reply other threads:[~2018-02-14 14:36 UTC|newest]
Thread overview: 25+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-02-09 22:11 Formal Subprogram Access Jeffrey R. Carter
2018-02-10 3:03 ` Randy Brukardt
2018-02-10 9:57 ` Jeffrey R. Carter
2018-02-13 5:51 ` Randy Brukardt
2018-02-13 9:24 ` AdaMagica
2018-02-13 9:41 ` Dmitry A. Kazakov
2018-02-13 10:28 ` AdaMagica
2018-02-14 0:47 ` Randy Brukardt
2018-02-14 8:19 ` Dmitry A. Kazakov
2018-02-14 10:01 ` Jacob Sparre Andersen
2018-02-14 11:07 ` Dmitry A. Kazakov
2018-02-13 12:24 ` Simon Wright
2018-02-14 0:53 ` Randy Brukardt
2018-02-14 14:36 ` Simon Wright [this message]
2018-02-15 4:56 ` Randy Brukardt
2018-02-15 13:12 ` Simon Clubley
2018-02-15 16:38 ` Simon Wright
2018-02-15 18:40 ` Simon Clubley
2018-02-15 16:19 ` Simon Wright
2018-02-15 23:03 ` Randy Brukardt
2018-02-13 17:34 ` Jeffrey R. Carter
2018-02-13 18:31 ` AdaMagica
2018-02-14 0:57 ` Randy Brukardt
2018-02-10 14:55 ` AdaMagica
2018-02-21 17:51 ` Jeffrey R. Carter
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox