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=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!mnetor!uunet!husc6!mit-eddie!ll-xn!ames!pasteur!ucbvax!SEI.CMU.EDU!John.Goodenough
From: John.Goodenough@SEI.CMU.EDU
Newsgroups: comp.lang.ada
Subject: ACVC Testing for preemption
Message-ID: <8802191442.AA06860@cs.sei.cmu.edu>
Date: 19 Feb 88 14:42:27 GMT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The Internet
List-Id: <comp.lang.ada>


I haven't been directing additions to the ACVC for quite a while now, but I've
sent a suggestion for implementing the appropriate tests to those who are
responsible.  I don't know when such tests will appear.