With this patch make test produces: # of expected passes 80 > # of unexpected failures 6 > # of expected failures 1 > FAIL: /home/arr/projects/klee/test/Expr/Parser/ConstantFolding.pc > FAIL: /home/arr/projects/klee/test/Expr/Parser/Exprs.pc > XFAIL: /home/arr/projects/klee/test/Expr/Evaluate2.pc > FAIL: /home/arr/projects/klee/test/Feature/AsmAddresses.c > FAIL: /home/arr/projects/klee/test/Feature/ExprLogging.c > FAIL: /home/arr/projects/klee/test/Programs/pcregrep.c > FAIL: /home/arr/projects/klee/test/Solver/FastCexSolver.pc
Most of these are kleaver failures with following error message: > error: type widths do not match in binary expression > And Programs/pcregrep.c is failing due to some memory error. I'm running these tests on Ubuntu in VirtualBox, so maybe it's due to insufficient memory or something. At this point, i doubt that i can finish porting KLEE to LLVM trunk alone. I have almost none experience with LLVM and haven't any with KLEE itself. But if anyone can point me where to dig kleaver issue, i can spend some more time on this. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110416/b3007bc6/attachment.html -------------- next part -------------- A non-text attachment was scrubbed... Name: klee.30.patch Type: text/x-patch Size: 14506 bytes Desc: not available Url : http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110416/b3007bc6/attachment.bin
