minor

ortools/sat/parameters_validation.cc

@@ -100,6 +100,7 @@ std::string ValidateParameters(const SatParameters& params) {
   TEST_IN_RANGE(lns_initial_difficulty, 0.0, 1.0);
 
   TEST_POSITIVE(at_most_one_max_expansion_size);
+  TEST_POSITIVE(max_alldiff_domain_size);
 
   TEST_NOT_NAN(max_time_in_seconds);
   TEST_NOT_NAN(max_deterministic_time);

ortools/sat/routing_cuts_test.cc

@@ -1217,30 +1217,30 @@ TEST(MaybeFillMissingRoutesConstraintNodeExpressions,
   EXPECT_EQ(num_routes, 1);
   EXPECT_EQ(num_dimensions, 1);
   const ConstraintProto expected_constraint = ParseTestProto(R"pb(
-                routes {
-                  tails: [ 1, 2, 1, 2 ]
-                  heads: [ 0, 0, 2, 3 ]
-                  literals: [ 0, 1, 2, 3 ]
-                  dimensions {
-                    exprs {
-                      vars: [ 4 ]
-                      coeffs: [ 1 ]
-                    }
-                    exprs {
-                      vars: [ 5 ]
-                      coeffs: [ 1 ]
-                    }
-                    exprs {
-                      vars: [ 6 ]
-                      coeffs: [ 1 ]
-                    }
-                    exprs {
-                      vars: [ 7 ]
-                      coeffs: [ 1 ]
-                    }
-                  }
-                }
-              )pb");
+    routes {
+      tails: [ 1, 2, 1, 2 ]
+      heads: [ 0, 0, 2, 3 ]
+      literals: [ 0, 1, 2, 3 ]
+      dimensions {
+        exprs {
+          vars: [ 4 ]
+          coeffs: [ 1 ]
+        }
+        exprs {
+          vars: [ 5 ]
+          coeffs: [ 1 ]
+        }
+        exprs {
+          vars: [ 6 ]
+          coeffs: [ 1 ]
+        }
+        exprs {
+          vars: [ 7 ]
+          coeffs: [ 1 ]
+        }
+      }
+    }
+  )pb");
   EXPECT_THAT(new_cp_model.constraints(0), EqualsProto(expected_constraint));
 }