LLVM and STP have been installed successly. While configuring KLEE,It gives the error: unable to link with libstp. ($ ./configure --with-llvm=/home/projects/llvm-2.9 --with-stp=/home/projetcts/stpinstall) Some one has asked the similar question before. but anyone can give more details about where to download the patch and how to use the patch. I tried configuring KLEE with only one option, $ ./configure --with-llvm=/home/projects/llvm-2.9. The process of building KLEE sounds like no error reports (using $ make ENABLE_OPTIMIZED=1 ). Next step: make check, it gives a lot of fails: FAIL: /home/s2e/projects/klee/klee/test/regression/2007-10-12-failed-make-symbolic-after-copy.c FAIL: /home/s2e/projects/klee/klee/test/regression/2008-02-11-phi-nodes-after-invoke.ll FAIL: /home/s2e/projects/klee/klee/test/regression/2008-03-04-free-of-global.c FAIL: /home/s2e/projects/klee/klee/test/regression/2008-03-11-free-of-malloc-zero.c FAIL: /home/s2e/projects/klee/klee/test/regression/2008-04-10-bad-alloca-free.c FAIL: /home/s2e/projects/klee/klee/test/regression/2008-05-23-gep-with-global-const.c FAIL: /home/s2e/projects/klee/klee/test/regression/2012-05-13-asm-causes-aborts.c make[1]: *** [check-local] Error 1 make[1]: Leaving directory `/home/s2e/projects/klee/klee/test' make: *** [check] Error 2 Thanks.
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
