On 14 July 2014 15:40, Pietro Braione <[email protected]> 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. _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
