Searched refs:eq_known (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-master/graph-refine/ | ||
H A D | search.py | 650 if not endorsed or eq_known (knowledge, (v_i, 'Const')): 656 if eq_known (knowledge, (v_i, v_j))] 663 def eq_known (knowledge, vpair): function |
Completed in 33 milliseconds