Hi, did you manage to sort this out? This large number of test failures is usually due to using incompatible llvm-gcc and llvm versions. Make sure you download the right binary for llvm-gcc 2.7 (should be http://llvm.org/releases/2.7/llvm-gcc4.2-2.7-x86_64-linux.tar.bz2 in your case), put it in your $PATH, and then follow all the compilation steps on the KLEE website.
Best, Cristian On 26/04/11 09:53, Peter Helmstaedt wrote: > Hi > > I could compile Klee using the patches provided here in this mailing > list. I use a 64 bit Linux environment and LLVM 2.7. Unfortunately Klee > seems to fail its own check suite: > > === Summary === > > # of expected passes 61 > # of unexpected failures 44 > # of expected failures 3 > FAIL: /home/linux/sec/src/klee/test/Dogfood/ImmutableSet.cpp > FAIL: /home/linux/sec/src/klee/test/Expr/Evaluate.pc > XFAIL: /home/linux/sec/src/klee/test/Expr/Evaluate2.pc > FAIL: /home/linux/sec/src/klee/test/Feature/AliasFunction.c > FAIL: /home/linux/sec/src/klee/test/Feature/AliasFunctionExit.c > FAIL: /home/linux/sec/src/klee/test/Feature/GetValue.c > FAIL: /home/linux/sec/src/klee/test/Feature/InAndOutOfBounds.c > FAIL: /home/linux/sec/src/klee/test/Feature/LongDouble.cpp > FAIL: /home/linux/sec/src/klee/test/Feature/LowerSwitch.c > FAIL: /home/linux/sec/src/klee/test/Feature/MakeSymbolicName.c > FAIL: /home/linux/sec/src/klee/test/Feature/MultipleFreeResolution.c > FAIL: /home/linux/sec/src/klee/test/Feature/MultipleReadResolution.c > FAIL: /home/linux/sec/src/klee/test/Feature/MultipleReallocResolution.c > FAIL: /home/linux/sec/src/klee/test/Feature/MultipleWriteResolution.c > FAIL: /home/linux/sec/src/klee/test/Feature/NamedSeedMatching.c > FAIL: /home/linux/sec/src/klee/test/Feature/OverlappedError.c > FAIL: /home/linux/sec/src/klee/test/Feature/ReplayPath.c > FAIL: /home/linux/sec/src/klee/test/Feature/SetForking.c > FAIL: /home/linux/sec/src/klee/test/Feature/WriteCov.c > FAIL: /home/linux/sec/src/klee/test/Feature/const_array_opt1.c > XFAIL: /home/linux/sec/src/klee/test/Programs/pcregrep.c > FAIL: /home/linux/sec/src/klee/test/Runtime/POSIX/DirConsistency.c > FAIL: /home/linux/sec/src/klee/test/Runtime/POSIX/DirSeek.c > FAIL: /home/linux/sec/src/klee/test/Runtime/POSIX/FDNumbers.c > FAIL: /home/linux/sec/src/klee/test/Runtime/POSIX/FD_Fail.c > FAIL: /home/linux/sec/src/klee/test/Runtime/POSIX/FD_Fail2.c > FAIL: /home/linux/sec/src/klee/test/Runtime/POSIX/Fcntl.c > FAIL: /home/linux/sec/src/klee/test/Runtime/POSIX/FilePerm.c > FAIL: /home/linux/sec/src/klee/test/Runtime/POSIX/FreeArgv.c > FAIL: /home/linux/sec/src/klee/test/Runtime/POSIX/Getenv.c > FAIL: /home/linux/sec/src/klee/test/Runtime/POSIX/Ioctl.c > FAIL: /home/linux/sec/src/klee/test/Runtime/POSIX/Isatty.c > FAIL: /home/linux/sec/src/klee/test/Runtime/POSIX/PrgName.c > FAIL: /home/linux/sec/src/klee/test/Runtime/POSIX/Read1.c > XFAIL: /home/linux/sec/src/klee/test/Runtime/POSIX/SELinux.c > FAIL: /home/linux/sec/src/klee/test/Runtime/POSIX/SeedAndFail.c > FAIL: /home/linux/sec/src/klee/test/Runtime/POSIX/Stdin.c > FAIL: /home/linux/sec/src/klee/test/Runtime/POSIX/Write1.c > FAIL: /home/linux/sec/src/klee/test/Runtime/POSIX/Write2.c > FAIL: > /home/linux/sec/src/klee/test/Runtime/Uclibc/2007-10-08-optimization-calls-wrong-libc-functions.c > FAIL: > /home/linux/sec/src/klee/test/Runtime/Uclibc/2008-03-04-libc-atexit-uses-dso-handle.c > FAIL: /home/linux/sec/src/klee/test/Runtime/Uclibc/Environ.c > FAIL: /home/linux/sec/src/klee/test/Solver/LargeIntegers.pc > FAIL: > /home/linux/sec/src/klee/test/regression/2007-08-01-cache-unclear-on-overwrite-flushed.c > FAIL: > /home/linux/sec/src/klee/test/regression/2007-10-11-illegal-access-after-free-and-branch.c > FAIL: > /home/linux/sec/src/klee/test/regression/2007-10-12-failed-make-symbolic-after-copy.c > FAIL: > /home/linux/sec/src/klee/test/regression/2008-03-11-free-of-malloc-zero.c > make[1]: *** [check-local] Error 1 > > any idea why this happens? > > > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
