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 _______________________________________________ freebsd-net@freebsd.org mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-net To unsubscribe, send any mail to "freebsd-net-unsubscr...@freebsd.org"
