On 23/04/2011 21:02, Peter Collingbourne wrote: > On Sat, Apr 23, 2011 at 08:47:45PM +0100, Cristian Cadar wrote: >> On 18/04/2011 17:55, arrowdodger wrote: >>> 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. >> >> I took a look at this test and I now understand why it fails with LLVM >> 2.8. The test relies on an assert violation being triggered in KLEE >> (that at MemoryManager.cpp:58), but starting with version 2.8, asserts >> are no longer enabled by default. If you enable them explicitly >> (--enable-assertions), that test passes in 2.8 as well. I will try to >> address this issue shortly. >> >> Thanks again for the patch, I committed it in -r130065. > > I solved this issue in one of my branches by changing the assert into > a klee_error. I attached the patch which I will commit unless there > is an objection.
Thanks, Peter, I fixed it the very same way (r130067). Cristian > > Thanks,