On Sat, Apr 17, 2010 at 12:55 AM, Cristian Cadar <c.cadar at imperial.ac.uk> wrote: > > Hi Jun, > > As far as I can tell, there's a configuration problem there. ?You should > make sure that you passed the "--with-llvm" option to KLEE's configure > script. >
Hmm the instruction at homepage told me to point --with-llvm (./configure --with-llvm=../llvm-2.6) to the directory of the source code of llvm-2.6, and that is what I did. So it seems I misunderstood? Now it seems the correct way is to point --with-llvm to "KLEE configure script"? What do you really mean here?? Thanks, J > On 16/04/10 16:17, Jun Koi wrote: >> >> Hi, >> >> I am starting to play with Klee. I followed the instruction on the >> homepage to compile llvm-2.6 and klee. But "make check" reports a lot >> of error, like below. >> >> Could anybody please tell me what the problem is? >> >> Thanks, >> J >> >> $make check >> llvm[0]: Running test suite >> make[1]: Entering directory `/home/junkoi/projects/tmp/klee/test' >> ( ulimit -t 600 ; ulimit -d 512000 ; \ >> >> ?PATH="/home/junkoi/projects/tmp/klee/Release/bin:/home/junkoi/projects/tmp/llvm-2.6/Release/bin:/home/junkoi/projects/tmp/llvm-2.6/test/Scripts:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/opt/real/RealPlayer" >> \ >> ? ? ? ? ?/usr/bin/runtest ?; ?\ >> ? ? ? ? ?! grep FAIL testrun.log; ! grep -q ^FAIL testrun.log; ?) >> /bin:/usr/games:/opt/real/RealPlayer" \ >> ? ? ? ? ? /usr/bin/runtest ?; ?\ >> ? ? ? ? ? ! grep FAIL testrun.log; ! grep -q ^FAIL testrun.log; ?) >> WARNING: No tool specified >> WARNING: Couldn't find tool config file for unix, using default. >> Test Run By junkoi on Sat Apr 17 00:10:14 2010 >> Native configuration is i686-pc-linux-gnu >> >> ? ? ? ? ? ? ? ? === ?tests === >> >> Schedule of variations: >> ? ? unix >> >> Running target unix >> Using /usr/share/dejagnu/baseboards/unix.exp as board description file >> for target. >> Using /usr/share/dejagnu/config/unix.exp as generic interface file for >> target. >> WARNING: Couldn't find tool config file for unix, using default. >> Running /home/junkoi/projects/tmp/klee/test/CXX/dg.exp ... >> FAIL: /home/junkoi/projects/tmp/klee/test/CXX/ArrayNew.cpp >> Failed with posix(ENOENT,no such file or directory) at line 1 >> while running: ?-I/home/junkoi/projects/tmp/klee/include -emit-llvm >> /home/junkoi/projects/tmp/klee/test/CXX/ArrayNew.cpp -emit-llvm -O0 -c >> -o ArrayNew.cpp.tmp1.bc >> couldn't execute "-I/home/junkoi/projects/tmp/klee/include": no such >> file or directory >> FAIL: /home/junkoi/projects/tmp/klee/test/CXX/New.cpp >> Failed with posix(ENOENT,no such file or directory) at line 1 >> while running: ?-I/home/junkoi/projects/tmp/klee/include -emit-llvm >> /home/junkoi/projects/tmp/klee/test/CXX/New.cpp -emit-llvm -O0 -c -o >> New.cpp.tmp1.bc >> couldn't execute "-I/home/junkoi/projects/tmp/klee/include": no such >> file or directory >> FAIL: /home/junkoi/projects/tmp/klee/test/CXX/SimpleVirtual.cpp >> Failed with posix(ENOENT,no such file or directory) at line 1 >> while running: ?-I/home/junkoi/projects/tmp/klee/include -emit-llvm >> /home/junkoi/projects/tmp/klee/test/CXX/SimpleVirtual.cpp -emit-llvm >> -O0 -c -o SimpleVirtual.cpp.tmp1.bc >> couldn't execute "-I/home/junkoi/projects/tmp/klee/include": no such >> file or directory >> ..... >> _______________________________________________ >> klee-dev mailing list >> klee-dev at keeda.stanford.edu >> http://keeda.Stanford.EDU/mailman/listinfo/klee-dev >
