Searched refs:ternop (Results 1 – 1 of 1) sorted by relevance
176 static void ternop(Btor *btor, struct instruction *insn) in ternop() function309 ternop(btor, insn); in check_function()