Searched refs:v_eqs_to_split (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-10.1.1/graph-refine/ |
| H A D | search.py | 1159 split = v_eqs_to_split (p, pair, eqs, restrs, hyps, tags = tags)
1391 def v_eqs_to_split (p, pair, v_eqs, restrs, hyps, tags = None): function
1392 trace ('v_eqs_to_split: (%s, %s)' % pair)
1415 trace ('v_eqs_to_split: no RHS limit')
1419 trace ('v_eqs_to_split: RHS limit not %d' % (n * r_step))
1421 trace ('v_eqs_to_split: split %s' % (split,))
|
Completed in 63 milliseconds