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

/seL4-l4v-10.1.1/graph-refine/
H A Drep_graph.py880 return self.get_mem_calls_sexpr (mem_sexpr)
882 def get_mem_calls_sexpr (self, mem_sexpr): member in class:GraphSlice
887 return self.get_mem_calls_sexpr (mem_sexpr[1])
890 x_calls = self.get_mem_calls_sexpr (x)
891 y_calls = self.get_mem_calls_sexpr (y)
895 return self.get_mem_calls_sexpr (mem_sexpr)

Completed in 41 milliseconds