Date: Wed, 30 Mar 2005 10:17:17 +0900 From: gnn@freebsd.org To: Peter Sewell <Peter.Sewell@cl.cam.ac.uk> Cc: freebsd-net@freebsd.org Subject: Re: Rigorous specification for TCP, UDP, and Sockets Message-ID: <m2vf7aq6ea.wl%gnn@neville-neil.com> 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>
next in thread | previous in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?m2vf7aq6ea.wl%gnn>