Searched refs:ternop (Results 1 - 1 of 1) sorted by relevance
/third_party/ltp/tools/sparse/sparse-src/ | ||
H A D | scheck.c | 176 static void ternop(Btor *btor, struct instruction *insn) in ternop() function 309 ternop(btor, insn); in check_function() |
Completed in 2 milliseconds