routed source code

[Patrick Mahan]

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