Date: Wed, 31 Oct 2001 01:08:38 -0800 From: Terry Lambert <tlambert2@mindspring.com> To: babkin@freebsd.org Cc: Alfred Perlstein <bright@mu.org>, "Thomas S. Greenwalt" <tomg@trancer.com>, freebsd-hackers@freebsd.org Subject: Re: Test Suites Message-ID: <3BDFBF96.C046502E@mindspring.com> References: <200110282255.f9SMt0W49382@vr5.trancer.com> <20011028231404.V15052@elvis.mu.org> <3BDD85C0.322F324A@mindspring.com> <3BDF495F.EB54F32D@bellatlantic.net>
next in thread | previous in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?3BDFBF96.C046502E>