Searched refs:cond_name (Results 1 - 2 of 2) sorted by relevance
/seL4-l4v-master/graph-refine/ | ||
H A D | rep_graph.py | 682 name = self.cond_name (n) 943 def cond_name (self, n_vc): member in class:GraphSlice |
H A D | debug.py | 107 name = rep.cond_name ((n, vc)) |
Completed in 108 milliseconds