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. Best, Cristian
