Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!uunet!husc6!bloom-beacon!gatech!rutgers!super.upenn.edu!operations.dccs.upenn.edu!jerzy
From: jerzy@operations.dccs.upenn.edu (Jerzy Sliwinski)
Newsgroups: comp.lang.c
Subject: Request for info: C validation suite???
Message-ID: <2188@super.upenn.edu>
Date: Wed, 14-Oct-87 17:14:00 EDT
Article-I.D.: super.2188
Posted: Wed Oct 14 17:14:00 1987
Date-Received: Fri, 16-Oct-87 04:34:05 EDT
Sender: news@super.upenn.edu
Reply-To: jerzy@operations.dccs.upenn.edu.UUCP (Jerzy Sliwinski)
Organization: University of Pennsylvania
Lines: 30
Keywords: C language validation

Do you know if there exists a C language validation suite. I know about 
one for PASCAL (maintained by prof. Sale in Australia). It is a collection 
of PASCAL programs that exercise a compiler.
It tests for conformance to standard, machine dependencies, behavior in error
conditions, limits. 

If you have any pointers let me know. 
Please reply by email, if there is general interest I will summarize 
the replyes and post. 

Thanks -- Jerzy

Jerzy Sliwinski
ARPA: Jerzy@dccs.upenn.edu or Sliwinski@dccs.upenn.edu
UUCP: rutgers!cbmvax!cgh!manta!jerzy!jerzy
US. Mail: 	University of Pennsylvania
		Data Communications and Computing Services 
		Suite 501 
		3440 Market Street
		Philadelphia, PA 19104-3306
voice: (215)898-9308
Jerzy Sliwinski
ARPA: Jerzy@dccs.upenn.edu or Sliwinski@dccs.upenn.edu
UUCP: rutgers!cbmvax!cgh!manta!jerzy!jerzy
US. Mail: 	University of Pennsylvania
		Data Communications and Computing Services 
		Suite 501 
		3440 Market Street
		Philadelphia, PA 19104-3306
voice: (215)898-9308