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

[Cristian Cadar]

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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>