Method testSCC

src/test/java/pascal/taie/util/graph/GraphTest.java:107–113

()

    }

    @Test
    void testSCC() {
        Graph<Integer> g = readGraph("src/test/resources/util/graph-scc.txt");
        SCC<Integer> scc = new SCC<>(g);
        assertEquals(7, scc.getComponents().size());
        assertEquals(3, scc.getTrueComponents().size());
    }

    @Test
    void testMergedSCC() {