Date: Sun, 14 Nov 2010 13:32:26 +1100 (EST) From: Ian Smith <smithi@nimnet.asn.au> To: Milen Dzhumerov <milen@thecosmicmachine.com> Cc: freebsd-net@freebsd.org Subject: Re: routed source code Message-ID: <20101114132025.E39988@sola.nimnet.asn.au> 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 Sun, 14 Nov 2010, Milen Dzhumerov wrote: > Hi all, > > 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. % find /usr/src -name routed /usr/src/etc/rc.d/routed /usr/src/sbin/routed cheers, Ian
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20101114132025.E39988>