Searched refs:add_precondition (Results 1 – 1 of 1) sorted by relevance
199 static bool add_precondition(Btor *btor, BoolectorNode **pre, struct instruction *insn) in add_precondition() function271 return add_precondition(btor, pre, insn); in check_call()