[klee-dev] A question about compiling klee-uclibc-0.02-x64 with Clang 3.2

[Daniel Liew]

> Great to hear that, looks like that KLEE will be ported to LLVM-3.2 too?

We're actually targeting LLVM 3.3. There's still quite a lot of work to do
so any help would be appreciated.

Thanks,
Dan.
-------------- next part --------------
HTML attachment scrubbed and removed