DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

slightly stronger decision for NE 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1998 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2007-11-12 16:22:04 +00:00
parent ab51a624e1
commit 1c4cb0ec62
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
com.ibm.wala.core/src/com/ibm/wala/logic/AdHocSemiDecisionProcedure.java
View File

@ -136,10 +136,8 @@ public class AdHocSemiDecisionProcedure extends AbstractSemiDecisionProcedure {
} else if (r.getRelation().equals(BinaryRelation.NE)) {
ITerm lhs = r.getTerms().get(0);
ITerm rhs = r.getTerms().get(1);
if (lhs.getKind().equals(ITerm.Kind.CONSTANT) && rhs.getKind().equals(ITerm.Kind.CONSTANT)) {
if (lhs.equals(rhs)) {
return true;
}
if (lhs.equals(rhs)) {
return true;
}
} else if (r.getRelation().equals(BinaryRelation.LT)) {
ITerm lhs = r.getTerms().get(0);