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!seismo!sundc!pitstop!sun!amdcad!ames!pasteur!ucbvax!GWUVM.BITNET!MFELDMAN
From: MFELDMAN@GWUVM.BITNET (Mike Feldman)
Newsgroups: comp.lang.ada
Subject: Re: INFO-ADA Digest V88 - Nyberg's and Goodenough's notes
Message-ID: <8802190405.AA06612@ajpo.sei.cmu.edu>
Date: 19 Feb 88 03:49:00 GMT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The Internet
List-Id: <comp.lang.ada>

OK! Now we're getting somewhere! (Karl - I don't know who MANFACE was
supposed to be, but indeed you're getting a posting from Mike Feldman
here :-))

I am very glad to see that _some_ run-time systems are supporting both
priorities and pre-emption (Dec and Verdix). Makes me feel better to
know, at least, that the ACVC was just missing a couple of tests.
(Naturally the ACVC was not born fully-formed and flawless; it evolves).

Nobody expects things to be perfect the first time; it's good to know
that these issues are now getting some attention. John Goodenough: do
you envision these kinds of tests going into the ACVC soon? Will we
see them in 1.10?