Searched refs:loops_to_split (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/graph-refine/
H A Dcheck.py437 def loops_to_split (p, restrs): function
451 extras = [(sp, vc_upto (n)) for sp in loops_to_split (p, restrs)]
H A Dsearch.py10 from check import restr_others, loops_to_split, ProofNode namespace
1627 to_split = loops_to_split (p, restrs)
1635 for sp in loops_to_split (p, restrs)]
1641 for sp in loops_to_split (p, restrs)

Completed in 42 milliseconds