Searched refs:trace_depth (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-10.1.1/graph-refine/ | ||
H A D | target_objects.py | 57 trace_depth = [0, 1] variable 69 trace_depth[0] += push 70 if trace_depth[0] <= trace_depth[1]: |
Completed in 79 milliseconds