geoff@desint.UUCP (Geoff Kuenning) (05/12/85)
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