Home
last modified time | relevance | path

Searched refs:found_constraint_false (Results 1 – 5 of 5) sorted by relevance

/dports/math/boolector/boolector-3.2.2/src/
H A Dbtorcore.h131 bool found_constraint_false; member
H A Dbtorslvaigprop.c221 if (btor->found_constraint_false) in sat_aigprop_solver()
H A Dbtorcore.c1134 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()
H A Dbtorchkclone.c204 BTOR_CHKCLONE_STATE (found_constraint_false); in chkclone_state()
H A Dbtorslvfun.c2511 if (btor->found_constraint_false) in sat_fun_solver()