Hi Zhi, Please see the tutorial here, it should explain this: http://klee.llvm.org/TestingCoreutils.html
Cheers, - Daniel 2009/10/14 Zhi, Shen <zong_y365 at 163.com>: > 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 > > > ________________________________ > 09???3D?????????????????? > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev > >
