[comp.lang.c] Looking for C Compiler Validation programs

kjepo@miraculix.liu.se ( Exjobb) (05/17/87)

HELP!

I am looking for validation programs for C compilers.
I've seen these kind of packages mentioned in SIGPLAN but never
for C compilers. 

Does anyone know where they can be found? AT&T perhaps?

				Thanks in advance

				Kjell Post.

-----------------------------------------------------------------------------
Dept of Computer & Info Science  (seismo!mcvax!enea!liuida!majestix!kjepo)
Univ of Linkoping, Sweden        (kjepo@majestix.uucp)
-----------------------------------------------------------------------------



-- 
-----------------------------------------------------------------------------
"The nice thing about standards is that you have so many to choose from"
Dept of Computer & Info Science  (seismo!mcvax!enea!liuida!majestix!kjepo)
Univ of Linkoping, Sweden        (kjepo@majestix.uucp)

gwyn@brl-smoke.ARPA (Doug Gwyn ) (05/19/87)

In article <560@miraculix.liu.se> kjepo@miraculix.liu.se ( Exjobb) writes:
>I am looking for validation programs for C compilers.

There are a couple of these available commercially.
I think Perennial has one; the C validation suite
I'm most familiar with is available from Plum Hall,
1 Spruce Av., Cardiff NJ.