Hi everyone, I've built Klee with LLVM 3.1 and clang 3.1. At compilation, I don't see any errors however "make check" fails with the following report (see below). I should mention that when configuring LLVM, I did pass the "--enable-assertions" flag. Does anyone have an idea why these unexpected failures happen? Are any of them acceptable (in other words, I shouldn't worry about them)? Any feedback would be greatly appreciated!
=== Summary === # of expected passes 89 # of unexpected failures 6 # of expected failures 1 FAIL: /home/bogdan/klee/test/Dogfood/ImmutableSet.cpp XFAIL: /home/bogdan/klee/test/Expr/Evaluate2.pc FAIL: /home/bogdan/klee/test/Feature/AsmAddresses.c KLEE: ERROR: /home/bogdan/klee/test/Feature/AsmAddresses.c:18: ASSERTION FAIL: &x0 == (void*) 0x0021 Error: ASSERTION FAIL: &x0 == (void*) 0x0021 FAIL: /home/bogdan/klee/test/Feature/ExprLogging.c FAIL: /home/bogdan/klee/test/Feature/ReplayPath.c FAIL: /home/bogdan/klee/test/Programs/pcregrep.c FAIL: /home/bogdan/klee/test/regression/2008-02-11-phi-nodes-after-invoke.ll make[1]: *** [check-local] Error 1 make[1]: Leaving directory `/home/bogdan/klee/test' make: *** [check] Error 2 Thanks, -- Bogdan
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
