Hi, thanks for the patch. Before applying it though, we need to understand why the AsmAddresses test fails in 2.8. Unfortunately, I don't have time to do this right now, would anybody like to take a look?
Best, Cristian On 18/04/11 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. > 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. > > > > _______________________________________________ > klee-commits mailing list > klee-commits at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-commits
