Searched refs:found_constraint_false (Results 1 – 5 of 5) sorted by relevance
131 bool found_constraint_false; member
221 if (btor->found_constraint_false) in sat_aigprop_solver()
1134 btor->found_constraint_false = true; in btor_process_unsynthesized_constraints()1921 assert (btor->found_constraint_false || btor_node_is_synth (real_exp)); in btor_failed_exp()1927 else if (btor->found_constraint_false) in btor_failed_exp()1982 if (btor->found_constraint_false) continue; in btor_failed_exp()
204 BTOR_CHKCLONE_STATE (found_constraint_false); in chkclone_state()
2511 if (btor->found_constraint_false) in sat_fun_solver()