[Bridges] improve code coverage (#1930)

Author: odow

test/Bridges/Constraint/bin_packing.jl

@@ -26,15 +26,16 @@ function test_runtests_VectorOfVariables()
     MOI.Bridges.runtests(
         MOI.Bridges.Constraint.BinPackingToMILPBridge,
         """
-        variables: x, y, z
+        variables: a, x, y, z
         [x, y, z] in BinPacking(3.0, [1.1, 1.9, 2.8])
         x in Interval(1.0, 3.0)
         y >= 2.0
         y <= 3.0
         z == 3.0
+        a in ZeroOne()
         """,
         """
-        variables: x, y, z, x1, x2, x3, y2, y3, z3
+        variables: a, x, y, z, x1, x2, x3, y2, y3, z3
         1.1 * x1 <= 3.0
         1.1 * x2 + 1.9 * y2 <= 3.0
         1.1 * x3 + 1.9 * y3 + 2.8 * z3 <= 3.0
@@ -54,6 +55,7 @@ function test_runtests_VectorOfVariables()
         y >= 2.0
         y <= 3.0
         z == 3.0
+        a in ZeroOne()
         """,
     )
     return

test/Bridges/Constraint/count_belongs.jl

@@ -26,14 +26,15 @@ function test_runtests_VectorOfVariables()
     MOI.Bridges.runtests(
         MOI.Bridges.Constraint.CountBelongsToMILPBridge,
         """
-        variables: n, x, y
+        variables: a, n, x, y
         [n, x, y] in CountBelongs(3, Set([2, 4]))
         x in Interval(1.0, 2.0)
         y >= 2.0
         y <= 3.0
+        a in ZeroOne()
         """,
         """
-        variables: n, x, y, z_x1, z_x2, z_y2, z_y3
+        variables: a, n, x, y, z_x1, z_x2, z_y2, z_y3
         1.0 * x + -1.0 * z_x1 + -2.0 * z_x2 == 0.0
         1.0 * y + -2.0 * z_y2 + -3.0 * z_y3 == 0.0
         z_x1 + z_x2 == 1.0
@@ -46,6 +47,7 @@ function test_runtests_VectorOfVariables()
         z_x2 in ZeroOne()
         z_y2 in ZeroOne()
         z_y3 in ZeroOne()
+        a in ZeroOne()
         """,
     )
     return

test/Bridges/Constraint/count_distinct.jl

@@ -26,14 +26,15 @@ function test_runtests_VectorOfVariables()
     MOI.Bridges.runtests(
         MOI.Bridges.Constraint.CountDistinctToMILPBridge,
         """
-        variables: n, x, y
+        variables: a, n, x, y
         [n, x, y] in CountDistinct(3)
         x in Interval(1.0, 2.0)
         y >= 2.0
         y <= 3.0
+        a in ZeroOne()
         """,
         """
-        variables: n, x, y, z_x1, z_x2, z_y2, z_y3, a_1, a_2, a_3
+        variables: a, n, x, y, z_x1, z_x2, z_y2, z_y3, a_1, a_2, a_3
         1.0 * x + -1.0 * z_x1 + -2.0 * z_x2 == 0.0
         1.0 * y + -2.0 * z_y2 + -3.0 * z_y3 == 0.0
         -1.0 * n + a_1 + a_2 + a_3 == 0.0
@@ -55,6 +56,7 @@ function test_runtests_VectorOfVariables()
         a_1 in ZeroOne()
         a_2 in ZeroOne()
         a_3 in ZeroOne()
+        a in ZeroOne()
         """,
     )
     return