openSUSE 11.3 (x86_64) llvm-gcc -v Using built-in specs. Target: x86_64-unknown-linux-gnu Configured with: ../configure --prefix=/home/nlewycky/llvm-2.7//pre2/release/llvm-gcc4.2-2.7-x86_64-linux --disable-multilib --program-prefix=llvm- --enable-llvm=/home/nlewycky/llvm-2.7//pre2/release/llvm-2.7 --enable-languages=c,c++,fortran Thread model: posix gcc version 4.2.1 (Based on Apple Inc. build 5658) (LLVM build 2.7)
On Tue, 2011-04-26 at 08:22 -0400, David Lightstone wrote: > Knowing which operating system is useful. > > > -----Original Message----- > > From: klee-dev-bounces at keeda.stanford.edu [mailto:klee-dev- > > bounces at keeda.stanford.edu] On Behalf Of Peter Helmstaedt > > Sent: Tuesday, April 26, 2011 4:53 AM > > To: klee-dev > > Subject: [klee-dev] Klee check test suite failing > > > > 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 >
