[klee-dev] KLEE 2.7

[arrowdodger]

Hello. Yesterday i've built klee on freebsd8-amd64 with llvm 2.7svn. The
only problem i've met - there is no struct stat64 in <sys/stat.h> on
FreeBSD, so i changed gen-random-bout.cpp a little. Everything looks
working, except uclibc - it doesn't build.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: 
http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20100315/0093c398/attachment.html