projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 080d835) | patch
Fix for bug 430. d_delta in PartialModel was never being computed. (Delta remained...
authorTim King <taking@cs.nyu.edu>
Fri, 26 Oct 2012 21:14:58 +0000 (21:14 +0000)
committerTim King <taking@cs.nyu.edu>
Fri, 26 Oct 2012 21:14:58 +0000 (21:14 +0000)
commit4ba0d73db87df39dd1f3d943ff5415b9f104d3e1
tree49d12dad281cf171207bbf6d9503cab89b63aabetree
parent080d8353c6d0704885c2e491122c8e337542b0e8commit | diff
Fix for bug 430. d_delta in PartialModel was never being computed. (Delta remained at its initial non-sensical value of -1.)  There was a problem with guarding d_delta with d_deltaIsSafe in PartialModel.
src/theory/arith/partial_model.cpp diff | blob | history