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

/seL4-l4v-10.1.1/graph-refine/
H A Drep_graph.py337 class TooGeneral (Exception): class in class:GraphSlice
359 raise self.TooGeneral (split)
399 except self.TooGeneral:
581 except self.TooGeneral, e:
H A Dcheck.py104 except rep.TooGeneral:

Completed in 43 milliseconds