From owner-freebsd-net@FreeBSD.ORG  Wed Mar 30 01:17:30 2005
Return-Path: <owner-freebsd-net@FreeBSD.ORG>
Delivered-To: freebsd-net@freebsd.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id B998916A4CE
	for <freebsd-net@freebsd.org>; Wed, 30 Mar 2005 01:17:30 +0000 (GMT)
Received: from mail-relay1.yahoo.com (mail-relay1.yahoo.com [216.145.48.34])
	by mx1.FreeBSD.org (Postfix) with ESMTP id 5503943D41
	for <freebsd-net@freebsd.org>; Wed, 30 Mar 2005 01:17:30 +0000 (GMT)
	(envelope-from gnn@neville-neil.com)
Received: from minion.local.neville-neil.com (proxy7.corp.yahoo.com
	[216.145.48.98])j2U1HGkN050351;	Tue, 29 Mar 2005 17:17:17 -0800 (PST)
Date: Wed, 30 Mar 2005 10:17:17 +0900
Message-ID: <m2vf7aq6ea.wl%gnn@neville-neil.com>
From: gnn@freebsd.org
To: Peter Sewell <Peter.Sewell@cl.cam.ac.uk>
In-Reply-To: <E1DGLfi-0001Xt-00@mta1.cl.cam.ac.uk>
References: <brooks@one-eyed-alien.net>
	<20050329172338.GA5995@odin.ac.hmc.edu>
	<E1DGLfi-0001Xt-00@mta1.cl.cam.ac.uk>
User-Agent: Wanderlust/2.12.0 (Your Wildest Dreams) SEMI/1.14.6 (Maruoka)
	FLIM/1.14.6 (Marutamachi) APEL/10.6 Emacs/21.3.50 (powerpc-apple-darwin7.7.0)
	MULE/5.0 (SAKAKI)
MIME-Version: 1.0 (generated by SEMI 1.14.6 - "Maruoka")
Content-Type: text/plain; charset=US-ASCII
cc: freebsd-net@freebsd.org
Subject: Re: Rigorous specification for TCP, UDP, and Sockets
X-BeenThere: freebsd-net@freebsd.org
X-Mailman-Version: 2.1.1
Precedence: list
List-Id: Networking and TCP/IP with FreeBSD <freebsd-net.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-net>,
	<mailto:freebsd-net-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-net>
List-Post: <mailto:freebsd-net@freebsd.org>
List-Help: <mailto:freebsd-net-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-net>,
	<mailto:freebsd-net-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Wed, 30 Mar 2005 01:17:30 -0000

At Tue, 29 Mar 2005 19:42:37 +0100,
Peter Sewell wrote:
> >None for the most part.  People test some limited things, but I don't
> >think anyone does the kind if rigorous testing we should be doing.
> 
> ah :-(
> 

I'd like to amend that to "we're working on it" :-)

Later,
George