Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!mnetor!seismo!lll-crg!nike!ucbcad!ucbvax!decvax!ima!johnl From: johnl@ima.UUCP (Compilers mailing list) Newsgroups: mod.compilers Subject: Re: C Compiler verification suite Message-ID: <173@ima.UUCP> Date: Wed, 23-Jul-86 18:40:56 EDT Article-I.D.: ima.173 Posted: Wed Jul 23 18:40:56 1986 Date-Received: Thu, 24-Jul-86 05:05:26 EDT Reply-To: harvard!seismo!munnari!moncskermit.oz!roland (Roland Yap) Lines: 37 Approved: Sometime back I asked the same question and got the following reply: > You might be interested to know that Human Computing Resources > Corporation sells a C Validation Suite called the HCR C Test Suite. > It conforms to the definition of C given in "The C Programming > Language", by Kernighan and Ritchie. We have also been guided by > the direction of current standardization efforts. > > HCR has over ten years experience in the UNIX market, and compiler > development is one of our specialties. The full size C Test Suite > contains over 350,000 C compiler tests - an abridged version is also > available. Included is the sophisticated Test Management Software > which gives complete flexibility to run anything, from one test to the > entire Suite, during the hours that you tell it to. > > If you are interested in obtaining more information on the HCR C Test > Suite, please let me know, and I'll ensure that it promptly be sent > out to you. > -- > Judy Domshy (416) 922-1937 > Human Computing Resources Corporation > 10 St. Mary Street, 4th Floor > Toronto, Ontario M4Y 1P9 CANADA > ...{utzoo|ihnp4|decvax}!hcr!judy ----------------------------------------------------------------------------- Roland Yap ACSNET,CSNET:roland@moncskermit.oz Dept. of Computer Science ARPA:roland%moncskermit.oz@seismo.arpa Monash University UUCP: ..!seismo!munnari!moncskermit.oz!roland Clayton ...!{decvax,pesnta,vax135}!mulga!moncskermit.oz!roland Australia 3168 moncsbruce can also be substituted for moncskermit -- Send compilers mail to ima!compilers or, in a pinch to Levine@YALE.EDU Plausible paths are { ihnp4 | decvax | cbosgd | harvard | yale | bbncca}!ima Please send responses to the originator of the message -- I cannot forward mail accidentally sent back to compilers. Meta-mail to ima!compilers-request