Searched refs:get_reachable (Results 1 - 2 of 2) sorted by last modified time

/seL4-l4v-10.1.1/graph-refine/
H A Drep_graph.py334 def get_reachable (self, split, n): member in class:GraphSlice
344 vcount_r = [(split, count, self.get_reachable (split, n))
1014 if self.get_reachable (split, n):
H A Dloop_bounds.py599 if h not in s and rep.get_reachable (h, split) and h != split:

Completed in 58 milliseconds