From owner-freebsd-hackers  Wed Oct 31  1: 7:52 2001
Delivered-To: freebsd-hackers@freebsd.org
Received: from pintail.mail.pas.earthlink.net (pintail.mail.pas.earthlink.net [207.217.120.122])
	by hub.freebsd.org (Postfix) with ESMTP
	id 4B7DD37B403; Wed, 31 Oct 2001 01:07:48 -0800 (PST)
Received: from dialup-209.247.138.195.dial1.sanjose1.level3.net ([209.247.138.195] helo=mindspring.com)
	by pintail.mail.pas.earthlink.net with esmtp (Exim 3.33 #1)
	id 15yrLf-00018A-00; Wed, 31 Oct 2001 01:07:48 -0800
Message-ID: <3BDFBF96.C046502E@mindspring.com>
Date: Wed, 31 Oct 2001 01:08:38 -0800
From: Terry Lambert <tlambert2@mindspring.com>
Reply-To: tlambert2@mindspring.com
X-Mailer: Mozilla 4.7 [en]C-CCK-MCD {Sony}  (Win98; U)
X-Accept-Language: en
MIME-Version: 1.0
To: babkin@freebsd.org
Cc: Alfred Perlstein <bright@mu.org>,
	"Thomas S. Greenwalt" <tomg@trancer.com>, freebsd-hackers@freebsd.org
Subject: Re: Test Suites
References: <200110282255.f9SMt0W49382@vr5.trancer.com> <20011028231404.V15052@elvis.mu.org> <3BDD85C0.322F324A@mindspring.com> <3BDF495F.EB54F32D@bellatlantic.net>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Sender: owner-freebsd-hackers@FreeBSD.ORG
Precedence: bulk
List-ID: <freebsd-hackers.FreeBSD.ORG>
List-Archive: <http://docs.freebsd.org/mail/> (Web Archive)
List-Help: <mailto:majordomo@FreeBSD.ORG?subject=help> (List Instructions)
List-Subscribe: <mailto:majordomo@FreeBSD.ORG?subject=subscribe%20freebsd-hackers>
List-Unsubscribe: <mailto:majordomo@FreeBSD.ORG?subject=unsubscribe%20freebsd-hackers>
X-Loop: FreeBSD.ORG

Sergey Babkin wrote:
> > Look also for "TET" and "ETET".  SVVS (the System V Verification
> > Suite, used for testing SVID compliance) uses TET.
> 
> TET is owned by the Open Group and they license it for money
> (at least they did a couple of years ago). It's also a pain
> to use.

I saved the public TET and ETET implementations, as well as the
draft Sepc 1170, and a number of other important documents when
UNIX International went under.

The documents were generaously hosted on the Digiboard FTP site.

There are currently freeware versions of these documents and code
floating around.  I _know_ there is a TET 3.x around, since I
have it on an old machine in the other room.

-- Terry

To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-hackers" in the body of the message