Home
last modified time | relevance | path

Searched refs:ternop (Results 1 – 1 of 1) sorted by relevance

/third_party/ltp/tools/sparse/sparse-src/
Dscheck.c176 static void ternop(Btor *btor, struct instruction *insn) in ternop() function
309 ternop(btor, insn); in check_function()