Hi Vijay, It looks like you didn't add llvm-gcc to your $PATH (see step 1).
Best wishes, Cristian On 28/10/10 02:13, Vijay Ganesh wrote: > Hi All, > > I am trying to install Klee, and it failed 'make check'. I followed the > instructions to the letter on the klee website. In particular, I got an error > saying that the following tests have failed. I guess I am doing some basic > setup wrong or don't have some package setup correctly. > > Can you help me do a quick debug of this? > > Thanks, > Vijay Ganesh. > > > FAIL: klee/test/CXX/ArrayNew.cpp > Failed with posix(ENOENT,no such file or directory) at line 1 > while running: -I/klee/include -emit-llvm /klee/test/CXX/ArrayNew.cpp > -emit-llvm -O0 -c -o ArrayNew.cpp.tmp1.bc > couldn't execute "-I/klee/include": no such file or directory > ... > > === Summary === > > # of expected passes 10 > # of unexpected failures 75 > # of expected failures 2 > > klee/test/CXX/ArrayNew.cpp > /klee/test/CXX/New.cpp > /klee/test/CXX/SimpleVirtual.cpp > /klee/test/CXX/StaticConstructor.cpp > /klee/test/CXX/StaticDestructor.cpp > /klee/test/CXX/Trivial.cpp > /klee/test/Coverage/ReadArgs.c > /klee/test/Coverage/ReplayOutDir.c > /klee/test/Dogfood/ImmutableSet.cpp > X/klee/test/Expr/Evaluate2.pc > /klee/test/Feature/Alias.c > /klee/test/Feature/AliasFunction.c > /klee/test/Feature/AliasFunctionExit.c > /klee/test/Feature/AsmAddresses.c > /klee/test/Feature/ByteSwap.c > /klee/test/Feature/CallToUndefinedExternal.cpp > /klee/test/Feature/CheckMemoryAccess.c > /klee/test/Feature/CopyOnWrite.c > /klee/test/Feature/DanglingConcreteReadExpr.c > /klee/test/Feature/DefineFixedObject.c > /klee/test/Feature/DoubleFree.c > /klee/test/Feature/DumpStatesOnHalt.c > /klee/test/Feature/Envp.c > /klee/test/Feature/ExprLogging.c > /klee/test/Feature/ExternalWeakLinkage.c > /klee/test/Feature/Float.c > /klee/test/Feature/FunctionPointer.c > /klee/test/Feature/GetValue.c > /klee/test/Feature/InAndOutOfBounds.c > /klee/test/Feature/IndirectCallToBuiltin.c > /klee/test/Feature/IndirectCallToExternal.c > /klee/test/Feature/InsertExtractValue.ll > /klee/test/Feature/IsSymbolic.c > /klee/test/Feature/KleeReportError.c > /klee/test/Feature/LongDouble.cpp > /klee/test/Feature/LongDoubleSupport.c > /klee/test/Feature/LowerSwitch.c > /klee/test/Feature/MakeConcreteSymbolic.c > /klee/test/Feature/MakeSymbolicName.c > /klee/test/Feature/MemoryLimit.c > /klee/test/Feature/MultipleFreeResolution.c > /klee/test/Feature/MultipleReadResolution.c > /klee/test/Feature/MultipleReallocResolution.c > /klee/test/Feature/MultipleWriteResolution.c > /klee/test/Feature/NamedSeedMatching.c > /klee/test/Feature/OneFreeError.c > /klee/test/Feature/OneOutOfBounds.c > /klee/test/Feature/Optimize.c > /klee/test/Feature/OverlappedError.c > /klee/test/Feature/PreferCex.c > /klee/test/Feature/RaiseAsm.c > /klee/test/Feature/ReallocFailure.c > /klee/test/Feature/ReplayPath.c > /klee/test/Feature/Searchers.c > /klee/test/Feature/SetForking.c > /klee/test/Feature/Vararg.c > /klee/test/Feature/WithLibc.c > /klee/test/Feature/WriteCov.c > /klee/test/Feature/const_array_opt1.c > X/klee/test/Programs/pcregrep.c > /klee/test/regression/2007-07-25-invalid-stp-array-binding-to-objectstate.c > /klee/test/regression/2007-07-30-unflushed-byte.c > /klee/test/regression/2007-08-01-bool-zext-in-call.ll > /klee/test/regression/2007-08-01-cache-unclear-on-overwrite-flushed.c > /klee/test/regression/2007-08-06-64bit-shift.c > /klee/test/regression/2007-08-06-access-after-free.c > /klee/test/regression/2007-08-08-free-zero.c > /klee/test/regression/2007-08-16-invalid-constant-value.c > /klee/test/regression/2007-08-16-valid-write-to-freed-object.c > /klee/test/regression/2007-10-11-free-of-alloca.c > /klee/test/regression/2007-10-11-illegal-access-after-free-and-branch.c > /klee/test/regression/2007-10-12-failed-make-symbolic-after-copy.c > /klee/test/regression/2008-02-11-phi-nodes-after-invoke.ll > /klee/test/regression/2008-03-04-free-of-global.c > /klee/test/regression/2008-03-11-free-of-malloc-zero.c > /klee/test/regression/2008-04-10-bad-alloca-free.c > /klee/test/regression/2008-05-23-gep-with-global-const.c > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
