MCPcopy Create free account
hub / github.com/LFYSec/MScan / testTopsort

Method testTopsort

src/test/java/pascal/taie/util/graph/GraphTest.java:91–105  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

89 }
90
91 @Test
92 void testTopsort() {
93 Graph<Integer> g = readGraph("src/test/resources/util/graph-topsort.txt");
94 List<Integer> l = new TopologicalSorter<>(g).get();
95 assertTrue(l.indexOf(1) < l.indexOf(4));
96 assertTrue(l.indexOf(5) < l.indexOf(3));
97 assertTrue(l.indexOf(5) < l.indexOf(4));
98 assertTrue(l.indexOf(6) < l.indexOf(4));
99
100 List<Integer> rl = new TopologicalSorter<>(g, true).get();
101 assertTrue(rl.indexOf(1) > rl.indexOf(4));
102 assertTrue(rl.indexOf(5) > rl.indexOf(3));
103 assertTrue(rl.indexOf(5) > rl.indexOf(4));
104 assertTrue(rl.indexOf(6) > rl.indexOf(4));
105 }
106
107 @Test
108 void testSCC() {

Callers

nothing calls this directly

Calls 2

readGraphMethod · 0.95
getMethod · 0.65

Tested by

no test coverage detected