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

/seL4-l4v-10.1.1/graph-refine/
H A Drep_graph.py271 def check_vis_is_vis (((n, vc), tag)): function
275 check_vis_is_vis (lhs[1])
276 check_vis_is_vis (rhs[1])
283 check_vis_is_vis (vis)
288 check_vis_is_vis (vis)
292 check_vis_is_vis (vis)
296 check_vis_is_vis (vis)

Completed in 35 milliseconds