I'm trying to run KLEE on a 64-bit Fedora 12 machine, but I'm having
some issues with "make check". Each time I run it, there are a
different number of errors. Below is the summary from 3 successive
runs of "make check" (I tried sending the full output in attachments,
but I think the message was blocked):
=== Summary ===
# of expected passes 77
# of unexpected failures 8
# of expected failures 2
XFAIL: /home/dgingeri/llvm/klee/test/Expr/Evaluate2.pc
FAIL: /home/dgingeri/llvm/klee/test/Feature/InAndOutOfBounds.c
FAIL: /home/dgingeri/llvm/klee/test/Feature/KleeReportError.c
FAIL: /home/dgingeri/llvm/klee/test/Feature/MemoryLimit.c
FAIL: /home/dgingeri/llvm/klee/test/Feature/MultipleFreeResolution.c
FAIL: /home/dgingeri/llvm/klee/test/Feature/MultipleReadResolution.c
FAIL: /home/dgingeri/llvm/klee/test/Feature/MultipleReallocResolution.c
FAIL: /home/dgingeri/llvm/klee/test/Feature/MultipleWriteResolution.c
FAIL: /home/dgingeri/llvm/klee/test/Feature/OverlappedError.c
XFAIL: /home/dgingeri/llvm/klee/test/Programs/pcregrep.c
make[1]: *** [check-local] Error 1
make[1]: Leaving directory `/home/dgingeri/llvm/klee/test'
make: *** [check] Error 2
=== Summary ===
# of expected passes 78
# of unexpected failures 7
# of expected failures 2
XFAIL: /home/dgingeri/llvm/klee/test/Expr/Evaluate2.pc
FAIL: /home/dgingeri/llvm/klee/test/Feature/KleeReportError.c
FAIL: /home/dgingeri/llvm/klee/test/Feature/MemoryLimit.c
FAIL: /home/dgingeri/llvm/klee/test/Feature/MultipleFreeResolution.c
FAIL: /home/dgingeri/llvm/klee/test/Feature/MultipleReadResolution.c
FAIL: /home/dgingeri/llvm/klee/test/Feature/MultipleReallocResolution.c
FAIL: /home/dgingeri/llvm/klee/test/Feature/MultipleWriteResolution.c
FAIL: /home/dgingeri/llvm/klee/test/Feature/OverlappedError.c
XFAIL: /home/dgingeri/llvm/klee/test/Programs/pcregrep.c
make[1]: *** [check-local] Error 1
make[1]: Leaving directory `/home/dgingeri/llvm/klee/test'
make: *** [check] Error 2
=== Summary ===
# of expected passes 79
# of unexpected failures 6
# of expected failures 2
XFAIL: /home/dgingeri/llvm/klee/test/Expr/Evaluate2.pc
FAIL: /home/dgingeri/llvm/klee/test/Feature/KleeReportError.c
FAIL: /home/dgingeri/llvm/klee/test/Feature/MemoryLimit.c
FAIL: /home/dgingeri/llvm/klee/test/Feature/MultipleReadResolution.c
FAIL: /home/dgingeri/llvm/klee/test/Feature/MultipleReallocResolution.c
FAIL: /home/dgingeri/llvm/klee/test/Feature/MultipleWriteResolution.c
FAIL: /home/dgingeri/llvm/klee/test/Feature/OverlappedError.c
XFAIL: /home/dgingeri/llvm/klee/test/Programs/pcregrep.c
make[1]: *** [check-local] Error 1
make[1]: Leaving directory `/home/dgingeri/llvm/klee/test'
make: *** [check] Error 2
I followed the "Building KLEE" instructions on
http://klee.llvm.org/GetStarted.html fairly closely, except I added
"-m32" to LLVM's configure line like this:
./configure --enable-optimized CFLAGS="-m32" CXXFLAGS="-m32"
I did this because of the note about not working on 64-bit targets at
the top of that page. I tried to do the same ./configure modification
to KLEE, but it failed to build that way so I built without it
instead, which worked fine.
Here is the output of "svn info" on my KLEE directory:
$ svn info
Path: .
URL: http://llvm.org/svn/llvm-project/klee/trunk
Repository Root: http://llvm.org/svn/llvm-project
Repository UUID: 91177308-0d34-0410-b5e6-96231b3b80d8
Revision: 115960
Node Kind: directory
Schedule: normal
Last Changed Author: ddunbar
Last Changed Rev: 115542
Last Changed Date: 2010-10-04 14:37:11 -0500 (Mon, 04 Oct 2010)
I would be happy to use a different revision of the code if it is more
likely to work. Just let me know which revision is best with the LLVM
2.7 release.
I don't mind doing a 64-bit install if that will work better on my
system. Basically, I'm ok with having a 32-bit or 64-bit build; I
just want to get it working.
Let me know if you have any questions about my setup. Thanks.
Denver
http://ossguy.com/
