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?
Jon <>< -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 1631 bytes Desc: not available Url : http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20100519/0df48b32/attachment.bin
