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 [1] http://www.FreeBSD.org/cgi/man.cgi?query=routed&sektion=8_______________________________________________ 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"
