[klee-dev] Problem linking with Coreutils
zong_y365 at 163.com
Wed Oct 14 21:01:56 PDT 2009
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!
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the klee-dev