Method testMergedSCC

src/test/java/pascal/taie/util/graph/GraphTest.java:115–120

()

    }

    @Test
    void testMergedSCC() {
        Graph<Integer> g = readGraph("src/test/resources/util/graph-scc.txt");
        MergedSCCGraph<Integer> mg = new MergedSCCGraph<>(g);
        assertEquals(7, mg.getNumberOfNodes());
    }

    @Test
    void testDominator() {