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

/seL4-l4v-master/graph-refine/
H A Drep_graph.py66 (ns, os) = self.get_opts ()
69 def get_opts (self): member in class:VisitCount
80 (ns, os) = self.get_opts ()
H A Ddebug.py167 (ns, os) = vcount.get_opts ()

Completed in 40 milliseconds