Searched refs:get_func_pairing (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/graph-refine/
H A Drep_graph.py795 if self.get_func_pairing (n_vc, n_vc2):
826 def get_func_pairing (self, n_vc, n_vc2): member in class:GraphSlice
845 (pair, l_n_vc, r_n_vc) = self.get_func_pairing (n_vc, n_vc2)
H A Ddebug.py227 if not rep.get_func_pairing (l_n_vc, r_n_vc):
276 if rep.get_func_pairing (n_vc, n_vc2)]

Completed in 57 milliseconds