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.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,bc65fe38e6751a89 X-Google-Attributes: gid103376,public From: dewar@merv.cs.nyu.edu (Robert Dewar) Subject: Re: Aeonix Ada 95 Date: 1997/03/17 Message-ID: #1/1 X-Deja-AN: 226287926 References: <857938743.26136@dejanews.com> <33237061.6A5D@bix.com> <33239BEA.21C9@aonix.com> <3324EFFF.4261@aonix.com> Organization: New York University Newsgroups: comp.lang.ada Date: 1997-03-17T00:00:00+00:00 List-Id: Robert Eachus said << If he could pass the B-tests, certificate. (For those who have never dealt with the ACVC, the B-tests are--in 1.x--about 1000 test which not only require you to find every error at compile time, but to diagnose it correctly. Some tests have/had hundreds of errors. Every compiler vendor I know spent most of their effort during validation getting the B-tests right. Most of the rest was spent on C-tests, and A,D,E and L collectively accounted for at most 1-2% of the effort.)>> First of all, there is no requirement that you diagnose the error correctly, merely that you output an error message that refers to the affected line, it would be fine as far as the ACVC is concerned to simply flag every error line with a message that said ERROR. Given that every line has a comment on it that says ERROR, I have no doubt that the amazing Kruchten compiler would be able to read through a B test and announce ERROR on all appropriate lines :-)