[klee-dev] About LLVM 3.x and Clang support

[Daniel Liew]

On 14 July 2014 15:40, Pietro Braione <pietro.braione at unimib.it> wrote:
> Hello to everyone. I have read from previous messages in the mailing list that there is work on KLEE to support latex LLVM and Clang.

> What is the status of that branch?

The support is already in the master branch. Please note this support
is experimentally so not everything works.

> Which versions of LLVM and Clang currently supports?

LLVM 3.4 (with Clang 3.4) is the current target

> How do I obtain and build it?

Build LLVM 3.4 (3.4.2 is the lastest) with clang as normal and the
build KLEE against that.