On Nov 19, 2008, at 4:07 PM, Zhongxing Xu wrote:
On Thu, Nov 20, 2008 at 2:01 AM, Ted Kremenek <[EMAIL PROTECTED]>
wrote:
Hi Zhongxing,
Great progress! This looks fine for now, but in the future we
should think about how symbols that are specific to a given
combination of StoreManager/ConstraintManager should be factored out
of the the base implementation of StoreManager.
Do you mean "..out of the base implementation of SymbolicManager"?
Yes. Sorry!
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
