You might be interested in this repo: http://bitbucket.org/arrowdodger/klee/
When i have spare time, i'm working on CMake build system for KLEE (which
would allow building against installed LLVM or even as "tool" like clang -
just clone it into llvm/tools/klee and add this dir into
llvm/tools/CMakeLists.txt) and trying to keep KLEE in sync with latest LLVM.
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110707/0c0e0040/attachment.html
