diff options
| author | Tim King <taking@cs.nyu.edu> | 2012-10-26 21:14:58 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2012-10-26 21:14:58 +0000 |
| commit | 4ba0d73db87df39dd1f3d943ff5415b9f104d3e1 (patch) | |
| tree | 49d12dad281cf171207bbf6d9503cab89b63aabe /ChangeLog | |
| parent | 080d8353c6d0704885c2e491122c8e337542b0e8 (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.
Diffstat (limited to 'ChangeLog')
0 files changed, 0 insertions, 0 deletions