always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

remove checks

Browse Source
This commit is contained in:
Laurent Perron
2019-09-04 15:31:58 +02:00
parent c3d7946461
commit 91e1404d84
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
ortools/sat/synchronization.cc
View File

@@ -301,11 +301,11 @@ void SharedResponseManager::NewSolution(const CpSolverResponse& response,
// Ignore any non-strictly improving solution.
// We also perform some basic checks on the inner bounds.
CHECK_GE(objective_value, inner_objective_lower_bound_);
DCHECK_GE(objective_value, inner_objective_lower_bound_);
if (objective_value > inner_objective_upper_bound_) return;
CHECK_LT(objective_value, best_solution_objective_value_);
CHECK_NE(best_response_.status(), CpSolverStatus::OPTIMAL);
DCHECK_LT(objective_value, best_solution_objective_value_);
DCHECK_NE(best_response_.status(), CpSolverStatus::OPTIMAL);
best_solution_objective_value_ = objective_value;
IntegerValue max_integral(0);