I have followed the instructions on the klee website
(http://klee.llvm.org/GetStarted.html) to the letter (twice!) and have a
summary of
# of expected passes 91
# of unexpected failures 14
# of expected failures 2.
on "make check" with uClibc. Should I be worried about those 14?
1. I downloaded and built uClibc with llvm-gcc without errors.
2. I configured KLEE with uClibc/POSIX support:
./configure --with-llvm=/home/chobbs/klee/llvm-2.6
--with-uclibc=/home/chobbs/klee/klee-uclibc/ --enable-posix-runtime
3. I rebuilt KLEE with "make ENABLE_OPTIMIZED=1".
This ran into the problem reported in PR #7128 (and PR #6172). I worked
around this by using the 2.7 version of llvm-as to assemble those files.
This may, or may not, be a problem but the make completes without
problem.
4. Having read other people's problems on this mailing list, I ensured
that llvm-gcc was in my path:
# which llvm-gcc
/home/chobbs/klee/llvm-gcc-4.2-2.6-i686-linux/bin/llvm-gcc
5. I then ran "make check > fred". The following appeared on stderr:
WARNING: No tool specified
WARNING: Couldn't find tool config file for unix, using default.
make[1]: *** [check-local] Error 1
make: *** [check] Error 2
The redirected stdout contained the following (filleted---the other 3000
lines are available on request!) report:
llvm[0]: Running test suite
make[1]: Entering directory `/home/chobbs/klee/klee/test'
( ulimit -t 600 ; ulimit -d 512000 ; \
PATH="/home/chobbs/klee/klee/Release/bin:/home/chobbs/klee/llvm-2.6/Release/bin:/home/chobbs/klee/llvm-2.6/test/Scripts:/home/chobbs/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/opt/qnx640/host/linux/x86/usr/bin:/etc/qnx/bin:/home/chobbs/sparse/sparse-2010-01-08:/home/chobbs/klee/llvm-gcc-4.2-2.6-i686-linux/bin:/home/chobbs/klee/llvm-2.6/Release/bin:/home/chobbs/klee/klee/Release/bin"
\
/usr/bin/runtest ; \
! grep FAIL testrun.log; ! grep -q ^FAIL testrun.log; )
Test Run By chobbs on Thu Jun 17 11:20:06 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.
Running /home/chobbs/klee/klee/test/CXX/dg.exp ...
FAIL: /home/chobbs/klee/klee/test/CXX/StaticDestructor.cpp
Failed with exit(1) at line 3
while running: grep ":16: memory error" StaticDestructor.cpp.tmp1.log
child process exited abnormally
Running /home/chobbs/klee/klee/test/Coverage/dg.exp ...
............snip.................
Running /home/chobbs/klee/klee/test/Solver/dg.exp ...
Running /home/chobbs/klee/klee/test/regression/dg.exp ...
=== Summary ===
# of expected passes 91
# of unexpected failures 14
# of expected failures 2
FAIL: /home/chobbs/klee/klee/test/CXX/StaticDestructor.cpp
FAIL: /home/chobbs/klee/klee/test/Dogfood/ImmutableSet.cpp
XFAIL: /home/chobbs/klee/klee/test/Expr/Evaluate2.pc
FAIL: /home/chobbs/klee/klee/test/Feature/WriteCov.c
FAIL: /home/chobbs/klee/klee/test/Runtime/POSIX/DirConsistency.c
FAIL: /home/chobbs/klee/klee/test/Runtime/POSIX/DirSeek.c
FAIL: /home/chobbs/klee/klee/test/Runtime/POSIX/FD_Fail.c
FAIL: /home/chobbs/klee/klee/test/Runtime/POSIX/FD_Fail2.c
FAIL: /home/chobbs/klee/klee/test/Runtime/POSIX/Isatty.c
XFAIL: /home/chobbs/klee/klee/test/Runtime/POSIX/SELinux.c
FAIL: /home/chobbs/klee/klee/test/Runtime/POSIX/SeedAndFail.c
FAIL: /home/chobbs/klee/klee/test/Runtime/POSIX/Write1.c
FAIL: /home/chobbs/klee/klee/test/Runtime/POSIX/Write2.c
FAIL:
/home/chobbs/klee/klee/test/Runtime/Uclibc/2007-10-08-optimization-calls-wrong-libc-functions.c
FAIL:
/home/chobbs/klee/klee/test/Runtime/Uclibc/2008-03-04-libc-atexit-uses-dso-handle.c
FAIL: /home/chobbs/klee/klee/test/Runtime/Uclibc/Environ.c
make[1]: Leaving directory `/home/chobbs/klee/klee/test'
