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

/seL4-l4v-10.1.1/graph-refine/
H A Dcheck.py439 def loops_to_split (p, restrs): function
453 extras = [(sp, vc_upto (n)) for sp in loops_to_split (p, restrs)]
H A Dsearch.py12 from check import restr_others, loops_to_split, ProofNode namespace
1629 to_split = loops_to_split (p, restrs)
1637 for sp in loops_to_split (p, restrs)]
1643 for sp in loops_to_split (p, restrs)

Completed in 60 milliseconds