[klee-dev] What version of llvm do I need?

[Donald Raikes]

Hello,

According to all the documentation I have been able to find, klee
needs to run with llvm version 2.9, but that is so old, I can't get
llvm 2.9 to compile on my debian wheezy systems. I have tried both
32-bit and 64-bit versions of wheezy.

So since klee has progressed over the last several years since llvm
2.9 was available, what version(s) of llvm can I use, and is klee
better suited for 32-bit or 64-bit operating systems?

Thanks in advance,
Donald