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