Searched refs:uf15 (Results 1 – 2 of 2) sorted by relevance
46 static unsigned char uf15 (EditLine * e, int k) { return pwrapper(e,k,15); } in uf15() function83 { uf15, NULL },
16 (declare-fun uf15 () (Array (_ BitVec 4) (_ BitVec 2)))988 (store uf15