Hello, I have been unsuccessfully trying to get KLEE to compile on:
a) OS X b) x86_64 GNU/Linux using the version http://keeda.stanford.edu/~cristic/klee-july-14-2008.tgz<http://keeda.stanford.edu/%7Ecristic/klee-july-14-2008.tgz> . I cannot not really follow the instructions at: http://checking.stanford.edu/wiki/klee-install as I do not have access to the keeda machine to do check out. I already have both llvm and llvm c/c++ front-end installed and I would like to start experimenting with KLEE. Could anyone please provide me with KLEE sources and necessary configuration and installation options that would allow me to compile and install -- at least for x86_64 Linux -- KLEE without ucblic and with llvm already installed on my machines? Thank you. Best regards, -- Jiri Simsa Ph.D. Candidate Carnegie Mellon University -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20090123/75c4135d/attachment.html
