Searched refs:loop_no_match (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-master/graph-refine/ |
| H A D | search.py | 1666 def loop_no_match (rep, restrs, hyps, split, other_tag, function
1816 trace ('checking loop_no_match at %d' % r_sp, push = 1)
1817 res = loop_no_match (rep, restrs, hyps, r_sp, l_tag,
1834 trace ('checking lhs loop_no_match at %d' % n, push = 1)
1835 if loop_no_match (rep, restrs, hyps, n, r_tag):
|
Completed in 47 milliseconds