Searched refs:n_vc_era (Results 1 - 1 of 1) sorted by last modified time
| /seL4-l4v-10.1.1/graph-refine/ |
| H A D | debug.py | 99 era = n_vc_era (p, (n, vc))
164 def n_vc_era (p, (n, vc)): function
191 with_eras = [(n_vc_era (rep.p, n_vc), n_vc) for n_vc in n_vcs]
236 eras = set ([n_vc_era (rep.p, n_vc) for n_vc in l_calls + r_calls])
241 if do_era_merge (era_m, n_vc_era (rep.p, n_vc)) == era]
243 if do_era_merge (era_m, n_vc_era (rep.p, n_vc)) == era]
265 eras = set ([n_vc_era (rep.p, n_vc) for n_vc in l_calls + r_calls])
270 if do_era_merge (era_m, n_vc_era (rep.p, n_vc)) == era]
272 if do_era_merge (era_m, n_vc_era (rep.p, n_vc)) == era]
|
Completed in 40 milliseconds