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 Clubley Newsgroups: comp.lang.ada Subject: Re: Formal Subprogram Access Date: Thu, 15 Feb 2018 18:40:43 -0000 (UTC) Organization: A noiseless patient Spider Message-ID: References: Injection-Date: Thu, 15 Feb 2018 18:40:43 -0000 (UTC) Injection-Info: reader02.eternal-september.org; posting-host="7c83544641e17f4d04ac3fe611745f83"; logging-data="20733"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19BSZ1rjbFB3xy068YAkXHJ8aytY6wtekw=" User-Agent: slrn/0.9.8.1 (VMS/Multinet) Cancel-Lock: sha1:ulGGYTr2sesgMsHSwQwbQ0V6EtQ= Xref: reader02.eternal-september.org comp.lang.ada:50459 Date: 2018-02-15T18:40:43+00:00 List-Id: On 2018-02-15, Simon Wright wrote: > Simon Clubley writes: >> >> Does the testsuite also report the number of unexpected passes ? > > It would if there were any. > >> I don't see a line for that above, and if the number is zero, I would >> expect to see a line of output confirming that. > > So far as I can tell, this behaviour is consistent with other GCC > tests. Certainly with "make check-gnat". > I see, thanks. It's just that I tend to be more explicit in my output when reporting things like this. Thanks, Simon. -- Simon Clubley, clubley@remove_me.eisner.decus.org-Earth.UFP Microsoft: Bringing you 1980s technology to a 21st century world