disable wrong test in PostDominanceFinderTest

soot-oss · Nov 6, 2024 · 8c5b7a1 · 8c5b7a1
1 parent 44e26a8
commit 8c5b7a1
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/sootup.core/src/test/java/sootup/core/graph/PostDominanceFinderTest.java b/sootup.core/src/test/java/sootup/core/graph/PostDominanceFinderTest.java
@@ -4,6 +4,8 @@
 
 import java.util.*;
 import java.util.stream.Collectors;
+
+import org.junit.jupiter.api.Disabled;
 import org.junit.jupiter.api.Tag;
 import org.junit.jupiter.api.Test;
 import sootup.core.jimple.common.stmt.*;
@@ -49,15 +51,16 @@ public void testPostDominanceFrontiers() {
   }
 
   @Test
+  @Disabled("PostDominanceFinder doesn't work, if blockgraph contains two end-blocks")
   public void testDominanceFinder2() {
     MutableBlockStmtGraph graph = graphGenerator.createStmtGraph3();
-    /*PostDominanceFinder postDom = new PostDominanceFinder(graph);
+    PostDominanceFinder postDom = new PostDominanceFinder(graph);
 
     int[] domsArr = postDom.getImmediateDominators();
     List<Integer> pDoms = Arrays.stream(domsArr).boxed().collect(Collectors.toList());
 
     List<Integer> expectedPDoms = Arrays.asList(2,2,2);
-    assertEquals(expectedPDoms, pDoms);*/
+    assertEquals(expectedPDoms, pDoms);
   }
 
   @Test