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

/seL4-l4v-10.1.1/graph-refine/
H A Drep_graph.py433 if check_const and self.is_synt_const (nm, typ, split):
455 def is_synt_const (self, nm, typ, split): member in class:GraphSlice
507 trace ('is_synt_const: %d iterations' % count)

Completed in 43 milliseconds