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=2.6 required=5.0 tests=BAYES_20,INVALID_DATE,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!usc!apple!sun-barr!newstop!sun!prosper
From: vladimir@prosper (Vladimir G. Ivanovic)
Newsgroups: comp.lang.ada
Subject: ACVC test coverage
Keywords: acvc ACVC coverage
Message-ID: <135307@sun.Eng.Sun.COM>
Date: 7 May 90 21:29:04 GMT
Sender: news@sun.Eng.Sun.COM
Reply-To: vladimir@prosper (Vladimir G. Ivanovic)
Organization: sun
List-Id: <comp.lang.ada>

Does anyone know the coverage of the ACVC suite?  I would expect (and
hope) that it would test 100% of the syntactic rules (i.e. the
grammar) and a high percentage of the semantic rules.