Searched refs:trace_depth (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-master/graph-refine/ | ||
H A D | target_objects.py | 55 trace_depth = [0, 1] variable 67 trace_depth[0] += push 68 if trace_depth[0] <= trace_depth[1]: |
Completed in 34 milliseconds