Dear All, I want to run some testcases on coreutils(http://www.gnu.org/software/coreutils/) while the linking problem confused me a lot. Take the "ls" subroutine for example, I modified the original Makefile by using llvm-gcc --emit-llvm -c. While launched by KLEE, there were may symbols couln't be resolved. These symbols seemd to reside in libcoreutils.a. I tried linking it using llvm-ld or compiled as a dymanic libcoreutils.so and then linked, but neither worked. Would u please help me on running coreutils testcases successfully? Thank you very much!
Best regards. Zhi -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20091015/d34a1ff4/attachment.html
