Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/12/84; site desint.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!gamma!epsilon!zeta!sabre!bellcore!decvax!ittvax!dcdwest!sdcsvax!sdcrdcf!trwrb!desint!geoff
From: geoff@desint.UUCP (Geoff Kuenning)
Newsgroups: net.wanted.sources
Subject: Need validation suites for C, Unix;  will pay $$
Message-ID: <103@desint.UUCP>
Date: Sun, 12-May-85 15:24:32 EDT
Article-I.D.: desint.103
Posted: Sun May 12 15:24:32 1985
Date-Received: Thu, 16-May-85 06:45:55 EDT
Reply-To: geoff@desint.UUCP (Geoff Kuenning)
Organization: SAH Consulting, Manhattan Beach, CA
Lines: 11

I need to validate both a C compiler and a Unix system for a client.  Does
anybody out there have anything that can validate a C compiler vis-a-vis
K&R?  How about validating that a Unix port's implementation of sections
1-3 of the Unix manual is correct?  (Sections 2 and 3 are the most important).

If you have any such software, please let me know by MAIL.  I am willing
to pay full commercial prices for validation suites.
-- 

	Geoff Kuenning
	...!ihnp4!trwrb!desint!geoff