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

/seL4-l4v-10.1.1/graph-refine/
H A Drep_graph.py487 elif self.fast_const_ret (n, nm, typ):
512 def fast_const_ret (self, n, nm, typ): member in class:GraphSlice
708 if self.fast_const_ret (n[0], x, typ):

Completed in 24 milliseconds