Searched refs:is_cont (Results 1 - 2 of 2) sorted by relevance
/seL4-l4v-master/graph-refine/ |
H A D | rep_graph.py | 592 assert self.is_cont ((n, vcount), n2), ((n, vcount), 990 assert self.is_cont ((n, vcount), cont) 993 def is_cont (self, (n, vcount), (n2, vcount2)): member in class:GraphSlice
|
H A D | debug.py | 198 assert rep.is_cont (n_vc1, n_vc2), [n_vc1, n_vc2]
|
Completed in 42 milliseconds