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 _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
