Skip to content

Commit 55fbc3d

Browse files
committed
fix
1 parent b56ec14 commit 55fbc3d

1 file changed

Lines changed: 2 additions & 1 deletion

File tree

ortools/sat/cp_model_solver_test.cc

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1072,7 +1072,8 @@ TEST(SolveCpModelTest, SolutionHintMinimizeL1DistanceTest) {
10721072
Model model;
10731073
model.Add(
10741074
NewSatParameters("repair_hint:true, stop_after_first_solution:true, "
1075-
"keep_all_feasible_solutions_in_presolve:true"));
1075+
"keep_all_feasible_solutions_in_presolve:true "
1076+
"num_workers:1"));
10761077
const CpSolverResponse response = SolveCpModel(model_proto, &model);
10771078
EXPECT_THAT(response.status(),
10781079
AnyOf(Eq(CpSolverStatus::OPTIMAL), Eq(CpSolverStatus::FEASIBLE)));

0 commit comments

Comments
 (0)