Searched refs:unfold_defs (Results 1 - 1 of 1) sorted by last modified time
/seL4-l4v-10.1.1/graph-refine/ | ||
H A D | debug.py | 742 def unfold_defs (defs, hyp, depthlimit = -1): function 760 def_hyps = [(unfold_defs (solv.defs, h, 2), tag) |
Completed in 41 milliseconds