On Nov 14, 2010, at 02:23 , Milen Dzhumerov wrote:
> 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
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
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 wa
