Hi all, I'm new to KLEE and trying to install it now.
The online instruction says that the support for x84-64 is still undergoing. Does it mean I 'd better choose a x86-32 1? Thanks. Best, --Wenbin -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20100408/63f75380/attachment.html
