Searched refs:mk_array_size_ineq (Results 1 - 2 of 2) sorted by last modified time

/seL4-l4v-master/graph-refine/
H A Dsearch.py1450 return split_linear_eq (logic.mk_array_size_ineq (typ, num, p))
1508 less_eq = logic.mk_array_size_ineq (typ, num, p)
H A Dlogic.py585 def mk_array_size_ineq (typ, num, p): function
602 size_req = [mk_array_size_ineq (typ, num, p)]

Completed in 48 milliseconds