Date: Tue, 16 Nov 2010 11:40:08 +0100 From: arved@FreeBSD.org To: Milen Dzhumerov <milen@thecosmicmachine.com> Cc: freebsd-net@FreeBSD.org Subject: Re: routed source code Message-ID: <89612823-2292-478B-9816-1AB5133F168E@FreeBSD.org> In-Reply-To: <5F25ADA9-0481-4A34-8C48-28658639180D@thecosmicmachine.com> References: <5F25ADA9-0481-4A34-8C48-28658639180D@thecosmicmachine.com>
next in thread | previous in thread | raw e-mail | index | archive | help
On Nov 14, 2010, at 02:23 , Milen Dzhumerov wrote: > We're investigating some ways to perform symbolic execution of = distributed systems and we're looking for real-world programs to test. = The "routed" daemon[1] which is included with FreeBSD seemed like a good = candidate and I was wondering whether anyone can point me to its = implementation location in the source code repositories. The upstream location is: http://www.rhyolite.com/src/
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?89612823-2292-478B-9816-1AB5133F168E>