reverted removal of check; it broke the slicer
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2699 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
parent
ef5642a632
commit
38ae053c61
|
@ -965,7 +965,13 @@ public class TabulationSolver<T, P> {
|
||||||
@SuppressWarnings("unchecked")
|
@SuppressWarnings("unchecked")
|
||||||
@Override
|
@Override
|
||||||
protected boolean compareElements(PathEdge<T> p1, PathEdge<T> p2) {
|
protected boolean compareElements(PathEdge<T> p1, PathEdge<T> p2) {
|
||||||
return problem.getDomain().hasPriorityOver(p1, p2);
|
// we still have this check to appease the slicer, which
|
||||||
|
// has no domain
|
||||||
|
// TODO fix the slicer
|
||||||
|
if (p1.d2 != p2.d2) {
|
||||||
|
return problem.getDomain().hasPriorityOver(p1, p2);
|
||||||
|
}
|
||||||
|
return false;
|
||||||
}
|
}
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue