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

[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