I've solved problem with kleaver parser. With this patch `make test` yields:
# of expected passes 84 > # of unexpected failures 2 > # of expected failures 1 > XFAIL: /home/arr/projects/klee/test/Expr/Evaluate2.pc > FAIL: /home/arr/projects/klee/test/Feature/AsmAddresses.c > FAIL: /home/arr/projects/klee/test/Programs/pcregrep.c Feature/AsmAddresses fails due to assertion in LLVM regarding overlapping buffers or something. Programs/pcregrep.c gets killed by OS because it eats whole memory. Also, i've built KLEE with this patch against LLVM 2.7 and built+tested against LLVM 2.8. It gave me 0 unexpected failures. I would be glad if this patch gets commited. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110418/478e5d60/attachment.html -------------- next part -------------- A non-text attachment was scrubbed... Name: klee.30.patch Type: text/x-patch Size: 13725 bytes Desc: not available Url : http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110418/478e5d60/attachment.bin
