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

/seL4-l4v-10.1.1/graph-refine/
H A Dsyntax.py1478 def mk_rel_wrapper (nm, vals): function
H A Dlogic.py1502 return syntax.mk_rel_wrapper ('StackWrapper',
1506 return syntax.mk_rel_wrapper ('MemAccWrapper', [addr, v])
1509 return syntax.mk_rel_wrapper ('MemWrapper', [m])
1531 return syntax.mk_rel_wrapper ('EqSelectiveWrapper', [v, xs, ys])

Completed in 47 milliseconds