On 11/13/2010 05:23 PM, 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. Thanks, Milen
Milen, routed resides in /sbin, so look in /usr/src/sbin/routed. Patrick _______________________________________________ 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"
