disable local splitter for cleaner results

canliture · Mar 28, 2023 · fe065f8 · fe065f8
1 parent acc0654
commit fe065f8
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 14 deletions.
diff --git a/src/test/java/test/base/IDETestSetUp.java b/src/test/java/test/base/IDETestSetUp.java
@@ -75,6 +75,7 @@ private void setupSoot(String targetTestClassName) {
         Options.v().set_no_bodies_for_excluded(true);
         Options.v().set_allow_phantom_refs(true);
         Options.v().setPhaseOption("jb", "use-original-names:true");
+        Options.v().setPhaseOption("jb.ls", "enabled:false");
 		Options.v().set_prepend_classpath(false);
 
         Scene.v().addBasicClass("java.lang.StringBuilder");

diff --git a/src/test/java/test/constant/ConstantPropagationAnalysisTest.java b/src/test/java/test/constant/ConstantPropagationAnalysisTest.java
@@ -170,8 +170,8 @@ public void Assignment6() {
         JimpleSparseIDESolver<?, ?, ? extends InterproceduralCFG<Unit, SootMethod>> sparseAnalysis = executeSparseStaticAnalysis(Assignment6.class.getName());
         Set<Pair<String, Integer>> sparseIDEResult = getResult(sparseAnalysis);
         Set<Pair<String, Integer>> expected = new HashSet<>();
-        expected.add(new Pair("a#3", 101));
-        expected.add(new Pair("b#4", 201));
+        expected.add(new Pair("a", 101));
+        expected.add(new Pair("b", 201));
         checkResults(defaultIDEResult, sparseIDEResult, expected);
     }
 
@@ -220,8 +220,7 @@ public void Branching() {
         JimpleSparseIDESolver<?, ?, ? extends InterproceduralCFG<Unit, SootMethod>> sparseAnalysis = executeSparseStaticAnalysis(Branching.class.getName());
         Set<Pair<String, Integer>> sparseIDEResult = getResult(sparseAnalysis);
         Set<Pair<String, Integer>> expected = new HashSet<>();
-        expected.add(new Pair("a", 0));
-        expected.add(new Pair("a#2", 10));
+        expected.add(new Pair("a", 10));
         expected.add(new Pair("b", 1));
         expected.add(new Pair("c", 14));
         checkResults(defaultIDEResult, sparseIDEResult, expected);
@@ -235,8 +234,7 @@ public void Branching2() {
         Set<Pair<String, Integer>> sparseIDEResult = getResult(sparseAnalysis);
         Set<Pair<String, Integer>> expected = new HashSet<>();
         expected.add(new Pair("a", 0));
-        expected.add(new Pair("b", 0));
-        expected.add(new Pair("b#2", 42));
+        expected.add(new Pair("b", 42));
         expected.add(new Pair("c", 13));
         checkResults(defaultIDEResult, sparseIDEResult, expected);
     }
@@ -248,8 +246,7 @@ public void Branching3() {
         JimpleSparseIDESolver<?, ?, ? extends InterproceduralCFG<Unit, SootMethod>> sparseAnalysis = executeSparseStaticAnalysis(Branching3.class.getName());
         Set<Pair<String, Integer>> sparseIDEResult = getResult(sparseAnalysis);
         Set<Pair<String, Integer>> expected = new HashSet<>();
-        expected.add(new Pair("a", 0));
-        expected.add(new Pair("a#2", IDELinearConstantAnalysisProblem.BOTTOM));
+        expected.add(new Pair("a", IDELinearConstantAnalysisProblem.BOTTOM));
         expected.add(new Pair("c", IDELinearConstantAnalysisProblem.BOTTOM));
         checkResults(defaultIDEResult, sparseIDEResult, expected);
     }
@@ -261,8 +258,7 @@ public void Branching4() {
         JimpleSparseIDESolver<?, ?, ? extends InterproceduralCFG<Unit, SootMethod>> sparseAnalysis = executeSparseStaticAnalysis(Branching4.class.getName());
         Set<Pair<String, Integer>> sparseIDEResult = getResult(sparseAnalysis);
         Set<Pair<String, Integer>> expected = new HashSet<>();
-        expected.add(new Pair("a", 0));
-        expected.add(new Pair("a#2", IDELinearConstantAnalysisProblem.BOTTOM));
+        expected.add(new Pair("a", IDELinearConstantAnalysisProblem.BOTTOM));
         expected.add(new Pair("b", 10));
         expected.add(new Pair("c", 10));
         checkResults(defaultIDEResult, sparseIDEResult, expected);
@@ -275,8 +271,7 @@ public void Branching5() {
         JimpleSparseIDESolver<?, ?, ? extends InterproceduralCFG<Unit, SootMethod>> sparseAnalysis = executeSparseStaticAnalysis(Branching5.class.getName());
         Set<Pair<String, Integer>> sparseIDEResult = getResult(sparseAnalysis);
         Set<Pair<String, Integer>> expected = new HashSet<>();
-        expected.add(new Pair("a", 0));
-        expected.add(new Pair("a#2", IDELinearConstantAnalysisProblem.BOTTOM));
+        expected.add(new Pair("a", IDELinearConstantAnalysisProblem.BOTTOM));
         expected.add(new Pair("b", 10));
         expected.add(new Pair("c", IDELinearConstantAnalysisProblem.BOTTOM));
         checkResults(defaultIDEResult, sparseIDEResult, expected);
@@ -289,8 +284,7 @@ public void Branching6() {
         JimpleSparseIDESolver<?, ?, ? extends InterproceduralCFG<Unit, SootMethod>> sparseAnalysis = executeSparseStaticAnalysis(Branching6.class.getName());
         Set<Pair<String, Integer>> sparseIDEResult = getResult(sparseAnalysis);
         Set<Pair<String, Integer>> expected = new HashSet<>();
-        expected.add(new Pair("a", 0));
-        expected.add(new Pair("a#2", 23));
+        expected.add(new Pair("a", 23));
         expected.add(new Pair("b", 10));
         expected.add(new Pair("c", 26));
         checkResults(defaultIDEResult, sparseIDEResult, expected);