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:
-- 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
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