As documented on the website (http://klee.github.io/getting-started/), we also have experimental support for LLVM 3.4.
Best, Cristian On 08/04/2015 23:14, Donald Raikes wrote: > 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 > _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
