Searched refs:bits_unset (Results 1 – 2 of 2) sorted by relevance
1264 uint32_t bits_unset = 0; in check_no_prop_or_unsat_rows() local1270 bits_unset++; in check_no_prop_or_unsat_rows()1278 if (bits_unset == 1) { in check_no_prop_or_unsat_rows()1282 if (bits_unset == 0 && val != false) { in check_no_prop_or_unsat_rows()1303 assert(bits_unset > 1 || (bits_unset == 0 && val == 0)); in check_no_prop_or_unsat_rows()