Searched refs:v_eqs_to_split (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-master/graph-refine/ |
| H A D | search.py | 1157 split = v_eqs_to_split (p, pair, eqs, restrs, hyps, tags = tags)
1389 def v_eqs_to_split (p, pair, v_eqs, restrs, hyps, tags = None): function
1390 trace ('v_eqs_to_split: (%s, %s)' % pair)
1413 trace ('v_eqs_to_split: no RHS limit')
1417 trace ('v_eqs_to_split: RHS limit not %d' % (n * r_step))
1419 trace ('v_eqs_to_split: split %s' % (split,))
|
Completed in 81 milliseconds