Log File contents

(view as text)
Test Run By klee-buildslave on Mon Nov 28 21:48:20 2011
Target is x86_64-pc-linux-gnu
Host   is x86_64-unknown-linux-gnu

		===  tests ===

Schedule of variations:
    unix

Running target unix
WARNING: Assuming target board is the local machine (which is probably wrong).
You may need to set your DEJAGNU environment variable.
Running /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/CXX/dg.exp ...
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/CXX/ArrayNew.cpp
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/CXX/New.cpp
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/CXX/SimpleVirtual.cpp
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/CXX/StaticConstructor.cpp
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/CXX/StaticDestructor.cpp
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/CXX/Trivial.cpp
Running /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Coverage/dg.exp ...
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Coverage/ReadArgs.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Coverage/ReplayOutDir.c
Running /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Dogfood/dg.exp ...
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Dogfood/ImmutableSet.cpp
Running /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Expr/Lexer/dg.exp ...
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Expr/Lexer/Numbers.pc
Running /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Expr/Parser/dg.exp ...
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Expr/Parser/Concat64.pc
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Expr/Parser/ConstantFolding.pc
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Expr/Parser/Exprs.pc
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Expr/Parser/MultiByteReads.pc
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Expr/Parser/Simplify.pc
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Expr/Parser/TypeChecking.pc
Running /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Expr/dg.exp ...
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Expr/Evaluate.pc
XFAIL: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Expr/Evaluate2.pc
Failed with exit(1) at line 2
while running: grep "Query 0:	VALID" Evaluate2.pc.tmp.log
child process exited abnormally
Running /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/dg.exp ...
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/Alias.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/AliasFunction.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/AliasFunctionExit.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/AsmAddresses.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/BitcastAlias.ll
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/ByteSwap.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/CallToUndefinedExternal.cpp
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/CheckMemoryAccess.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/ConstantStruct.ll
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/CopyOnWrite.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/DanglingConcreteReadExpr.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/DefineFixedObject.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/DoubleFree.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/DumpStatesOnHalt.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/Envp.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/ExprLogging.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/ExternalWeakLinkage.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/Float.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/FunctionPointer.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/GetElementPtr.ll
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/GetValue.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/InAndOutOfBounds.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/IndirectCallToBuiltin.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/IndirectCallToExternal.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/InsertExtractValue.ll
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/IsSymbolic.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/KleeReportError.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/LargeReturnTypes.cpp
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/LongDouble.cpp
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/LongDoubleSupport.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/LowerSwitch.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/MakeConcreteSymbolic.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/MakeSymbolicName.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/MemoryLimit.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/MultipleFreeResolution.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/MultipleReadResolution.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/MultipleReallocResolution.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/MultipleWriteResolution.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/NamedSeedMatching.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/OneFreeError.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/OneOutOfBounds.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/Optimize.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/OverlappedError.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/PreferCex.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/RaiseAsm.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/ReallocFailure.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/ReplayPath.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/Searchers.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/SetForking.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/Vararg.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/WithLibc.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/WriteCov.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Feature/const_array_opt1.c
Running /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Programs/dg.exp ...
XFAIL: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Programs/pcregrep.c
Failed with exit(1) at line 1
while running: /home/klee-buildslave/llvm-gcc-4.2-2.7-x86_64-linux/bin/llvm-gcc -I/home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/include -emit-llvm -m32 /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Programs/pcregrep.c -emit-llvm -O0 -c -o pcregrep.c.tmp1.bc
In file included from /usr/include/features.h:354,
                 from /usr/include/setjmp.h:26,
                 from /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Programs/pcregrep.c:7:
/usr/include/gnu/stubs.h:7:27: error: gnu/stubs-32.h: No such file or directory
/home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Programs/pcregrep.c: In function ‘main’:
/home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Programs/pcregrep.c:321: warning: return type of ‘main’ is not ‘int’
/home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Programs/pcregrep.c: In function ‘compile_regex’:
/home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Programs/pcregrep.c:7901: warning: incompatible implicit declaration of built-in function ‘memcpy’
/home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Programs/pcregrep.c:8907: warning: incompatible implicit declaration of built-in function ‘memcpy’

Running /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Runtime/POSIX/dg.exp ...
Running /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Runtime/Uclibc/dg.exp ...
Running /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Solver/dg.exp ...
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Solver/FastCexSolver.pc
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/Solver/LargeIntegers.pc
Running /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/regression/dg.exp ...
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/regression/2007-07-25-invalid-stp-array-binding-to-objectstate.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/regression/2007-07-30-unflushed-byte.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/regression/2007-08-01-bool-zext-in-call.ll
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/regression/2007-08-01-cache-unclear-on-overwrite-flushed.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/regression/2007-08-06-64bit-shift.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/regression/2007-08-06-access-after-free.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/regression/2007-08-08-free-zero.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/regression/2007-08-16-invalid-constant-value.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/regression/2007-08-16-valid-write-to-freed-object.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/regression/2007-10-11-free-of-alloca.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/regression/2007-10-11-illegal-access-after-free-and-branch.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/regression/2007-10-12-failed-make-symbolic-after-copy.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/regression/2008-02-11-phi-nodes-after-invoke.ll
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/regression/2008-03-04-free-of-global.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/regression/2008-03-11-free-of-malloc-zero.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/regression/2008-04-10-bad-alloca-free.c
PASS: /home/klee-buildslave/buildslave/build.klee-2.7-x86_64-linux/klee/test/regression/2008-05-23-gep-with-global-const.c

		===  Summary ===

# of expected passes		89
# of expected failures		2