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.
Cristian 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
