[klee-dev] [PATCH] Build KLEE with trunk LLVM.

2011-04-23 Thread Cristian Cadar
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:

[klee-dev] [PATCH] Build KLEE with trunk LLVM.

2011-04-23 Thread Peter Collingbourne
-- 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

[klee-dev] [PATCH] Build KLEE with trunk LLVM.

2011-04-23 Thread Cristian Cadar
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