[PATCH] Fixed STPBuilder bug when extracting a single non-LSB bit from an expression.
David A. Ramos
daramos at stanford.edu
Tue Mar 29 20:28:12 PDT 2011
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.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 514 bytes
Desc: not available
Url : http://keeda.Stanford.EDU/pipermail/klee-commits/attachments/20110329/d8155b91/attachment.obj
More information about the klee-commits