johnl@ima.UUCP (Compilers mailing list) (07/18/86)
We are developing a C compiler for a new machine and are in need of a commercial source of a verification suite for the compiler. I apologize if this is the tenth similar request this quarter but we haven't been on the network long enough to have seen the nine previous replies. David R. Wooten, AI Technologies Corp., 1041 Elkton Dr., Colorado Springs, CO 80907 hp-lsd!frisbee!david [There is a pretty good suite inside AT&T, but the last I heard they couldn't let it out. I know of some benchmark suites, but that's different from validation suites since the goal is to test completeness rather than performance. Suggestions are welcome. Is anybody thinking about validation tests for ANSI C ? -John] -- 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
johnl@ima.UUCP (Compilers mailing list) (07/24/86)
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