I just tried clang+llvm 3.4, it works. By the way, I am not sure about the official support.
On Mon, Jul 14, 2014 at 7:40 AM, 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? Which versions of LLVM and Clang currently supports? > How do I obtain and build it? > Thank you > Pietro Braione > University of Milano-Bicocca > _______________________________________________ > 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
