Path: utzoo!utgpu!news-server.csri.toronto.edu!mailrus!cs.utexas.edu!sdd.hp.com!decwrl!shlump.nac.dec.com!hiyall.enet.dec.com!reagan
From: reagan@hiyall.enet.dec.com (John R. Reagan)
Newsgroups: comp.lang.pascal
Subject: Re: Green Hills or STANDARD Pascal test/benchmarks
Message-ID: <12243@shlump.nac.dec.com>
Date: 6 Jun 90 17:31:57 GMT
Sender: newsdaemon@shlump.nac.dec.com
Organization: Digital Equipment Corporation
Lines: 28


In article <1990Jun5.121512.15776@mips2.cr.bull.com>, freedman@mips2.cr.bull.com (Jerome Freedman) writes...
> 
>   The subject says it all. Does anybody have any Pascal programs
>(Green Hills or just ansi/iso standard) I can use to give my
>compiler a work out??.
> 
> 
You can get a copy of the PVS (Pascal Validation Suite) in the US from:

Software Consulting Services
3162 Bath Pike
Nazareth, Pennsylvnia  18064

There are other distributors in France, Italy, and Japan.  For general
information, contact:

BSI Quality Assurance
PO Box 375
Milton Keynes, MK14 6LL
United Kingdom


---
John Reagan
Digital Equipment Corporation
reagan@hiyall.dec.com
---