From 8c5b7a1c69a7369c340e3d05d805a004f25aa6c8 Mon Sep 17 00:00:00 2001 From: zunwang Date: Wed, 6 Nov 2024 11:54:29 +0100 Subject: [PATCH] disable wrong test in PostDominanceFinderTest --- .../java/sootup/core/graph/PostDominanceFinderTest.java | 7 +++++-- 1 file changed, 5 insertions(+), 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 index fb46e584e4..0cc29085f8 100644 --- 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 pDoms = Arrays.stream(domsArr).boxed().collect(Collectors.toList()); List expectedPDoms = Arrays.asList(2,2,2); - assertEquals(expectedPDoms, pDoms);*/ + assertEquals(expectedPDoms, pDoms); } @Test