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

/seL4-l4v-10.1.1/graph-refine/
H A Dsearch.py704 return mk_i_j_opts (unfold_limit = unfold_limit)
706 def mk_i_j_opts (i_seq_opts = None, j_seq_opts = None, unfold_limit = 9): function
815 return mk_i_j_opts ([(l_start + i, l_step)
H A Dstats.py119 i_j_opts = search.mk_i_j_opts (unfold_limit = window_size)
137 if not search.mk_i_j_opts (unfold_limit = i):

Completed in 44 milliseconds