Hi, I am asking about the different builds used by the buildbot. They are labeled:
klee-x86 64-linux klee-2.6-x86 64-linux klee-2.7-x86 64-linux What is the difference between them? Is it the llvm version number (2.6 vs 2.7) and, if so, what is the first build (klee-x86 64-linux)? Also, sudo make install is failing for me with this: make[2]: Entering directory `/home/xuanji/klee-nush/tools/ktest-tool' llvm[2]: Installing Release /usr/local/bin/ktest-tool strip:/usr/local/bin/ktest-tool: File format not recognized /usr/bin/install: strip process terminated abnormally make[2]: *** [/usr/local/bin/ktest-tool] Error 1 make[2]: Leaving directory `/home/xuanji/klee-nush/tools/ktest-tool' make[1]: *** [ktest-tool/.makeinstall] Error 2 make[1]: Leaving directory `/home/xuanji/klee-nush/tools' make: *** [install] Error 1 at least klee is installed, but what is the problem here? Thanks for your help! -- Im Xuan Ji! -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20100826/51d83ab8/attachment.html
