Hi Bogdan, I looked at these test failures, and removed a couple of them, which were due to fragile tests. Can you tell me what failures you see for ExprLogging.c and ImmutableSet.cpp? (These pass on my machine.) You can run individual tests using the $KLEE_ROOT/test/TestRunner.sh script (e.g., cd test/Feature; ../TestRunner.sh/ExprLogging.c).
Thanks, Cristian On 20/11/12 10:34, Cristian Cadar wrote: > Hi Bogdan, > > KLEE currently supports LLVM 2.9. I never tried a more recent version, > but I'm glad to hear that at least it compiles; I can take a look at the > test failures at some point, although I don't think I'll have time to do > so very soon. > > Best, > Cristian > > On 19/11/12 20:02, Bogdan Copos wrote: >> 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 passes89 >> # of unexpected failures6 >> # of expected failures1 >> 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 >> klee-dev@keeda.stanford.edu >> http://keeda.Stanford.EDU/mailman/listinfo/klee-dev >> > _______________________________________________ > klee-dev mailing list > klee-dev@keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev > _______________________________________________ klee-dev mailing list klee-dev@keeda.stanford.edu http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
