Searched defs:check_equal (Results 1 – 4 of 4) sorted by relevance
241 static bool check_equal(Btor *btor, BoolectorNode *pre, struct instruction *insn) in check_equal() function
175 bool check_equal (T1 &&v1, T2 &&v2, hb_serialize_error_t err_type) in check_equal() function
300 def check_equal(self, expected, result, msg): member in Tracer
1576 function check_equal(actual, expected, stack) function