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