diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-06-15 22:15:43 +0000 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-06-15 22:15:43 +0000 |
commit | 86aa93a619e4697b92c719f478399965ccb96d2d (patch) | |
tree | 50fa20db51b433832480461f6f2b902109538308 /src/util | |
parent | b286d6463eb671d35b81958b18309b8f096c2586 (diff) |
Bug fix in justification heuristic. Had to do with how
a "visited" node in the recursive findSplitter method was
handled (which would lead to infinite loop). Earlier,
they were ignored assuming the ancestor would split on it
later. The right thing to do is to split on it right away.
(Fixes errors from the fuzzer, not the ones from last night's
regression)
Diffstat (limited to 'src/util')
0 files changed, 0 insertions, 0 deletions