a9d3a5f Be more informative about solver problems. — HardenedBSD-pkg

rad:z3QDZAW2FAfuLvihrhiyDC9fAD8G9

HardenedBSD Package Manager

Be more informative about solver problems.

Vsevolod Stakhov committed 12 years ago

commit a9d3a5fd5b24dae52e2703384a25e401ed6ac2ef
parent d039ef6

1 file changed +4 -1

modified libpkg/pkg_solve.c

@@ -256,7 +256,10 @@ pkg_solve_sat_problem(struct pkg_solve_problem *problem)

 		 * 3) analyse and learn
 		 * 4) undo an assignment
 		 */
 		pkg_solve_propagate_units(problem->rules);
 		if (!pkg_solve_propagate_units(problem->rules)) {
 			pkg_emit_error("unimplemented: cannot solve SAT problem as units propagation has fallen");
 			return (false);
 		}
 	}
 	return (true);