On Wed, May 19, 2010 at 8:23 AM, Jonathan Hohle <jonhohle at gmail.com> wrote: > I'm trying to build klee on 64-bit Darwin (Mac OS X) with POSIX runtime > support, but I can't get uclibc to build (its looking for asm/unistd.h, among > other things). Is it currently possible to use klee in OS X on "real" > programs?
Nope, unfortunately not. See: http://keeda.Stanford.EDU/pipermail/klee-dev/2010-May/000356.html - Daniel > > Jon > <>< > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev > >
