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 -------------- next part -------------- A non-text attachment was scrubbed... Name: 0001-When-allocating-an-overlapping-memory-object-klee_er.patch Type: text/x-diff Size: 0 bytes Desc: not available Url : http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110423/f82d4563/attachment.bin
