[PATCH] Fixed STPBuilder bug when extracting a single non-LSB bit from an expression.

Tue Mar 29 20:28:12 PDT 2011

Hi Daniel,

Here's a one-off bug fix in STPBuilder.

Also, will someone PLEASE commit the patch I submitted on January 12? The one that keeps CoveringNew searcher from being totally worthless...

I rarely submit patches to open source KLEE, but when I do it's usually because the bug is bad enough to merit correcting.

-David

-------------- next part --------------
A non-text attachment was scrubbed...
Name: stpbuilder.patch
Type: application/octet-stream
Size: 514 bytes
Desc: not available
Url : http://keeda.Stanford.EDU/pipermail/klee-commits/attachments/20110329/d8155b91/attachment.obj 