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

/seL4-l4v-10.1.1/graph-refine/
H A Ddebug.py178 def era_merge (era): function
186 return era_merge (era)
204 simplify = True, pairing = 'Args', era_merge = True):
217 era_m = era_merge)
222 era_m = era_merge)
237 eras = sorted (eras + set (map (era_merge, eras)))
266 eras = sorted (set.union (eras, set (map (era_merge, eras))))

Completed in 41 milliseconds