Hot fix.

JuliaConstraints · Sep 16, 2021 · c06c42a · c06c42a · dourouc05 · Sep 16, 2021
1 parent 44894fe
commit c06c42a
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 5 deletions.
diff --git a/NEWS.md b/NEWS.md
@@ -1,6 +1,12 @@
 Release Notes
 =============
 
+Version 0.6.2
+-------------
+
+Hotfix: test `test_strictly_greaterthan_singlevariable` was wrong.
+
+
 Version 0.6.1
 -------------
 

diff --git a/Project.toml b/Project.toml
@@ -1,7 +1,7 @@
 name = "ConstraintProgrammingExtensions"
 uuid = "b65d079e-ed98-51d9-b0db-edee61a5c5f8"
 authors = ["Thibaut Cuvelier"]
-version = "0.6.1"
+version = "0.6.2"
 
 [deps]
 MathOptInterface = "b8f27783-ece8-5eb3-8dc8-9495eed66fee"

diff --git a/src/Test/test_strictly.jl b/src/Test/test_strictly.jl
@@ -61,7 +61,7 @@ function test_strictly_greaterthan_singlevariable(
     x2, _ = MOI.add_constrained_variable(model, MOI.Integer())
 
     c1 = MOI.add_constraint(model, one(T) * x1, CP.Domain(Set([1, 2])))
-    c2 = MOI.add_constraint(model, one(T) * x2, MOI.EqualTo(2))
+    c2 = MOI.add_constraint(model, one(T) * x2, MOI.EqualTo(1))
 
     c3 = MOI.add_constraint(
         model,
@@ -81,8 +81,8 @@ function test_strictly_greaterthan_singlevariable(
         @test MOI.get(model, MOI.PrimalStatus()) == MOI.FEASIBLE_POINT
 
         @test MOI.get(model, MOI.ResultCount()) >= 1
-        @test MOI.get(model, MOI.VariablePrimal(), x1) == 1
-        @test MOI.get(model, MOI.VariablePrimal(), x2) == 2
+        @test MOI.get(model, MOI.VariablePrimal(), x1) == 2
+        @test MOI.get(model, MOI.VariablePrimal(), x2) == 1
     end
 end
 
@@ -93,7 +93,7 @@ function MOIT.setup_test(
 ) where {T <: Real}
     MOIU.set_mock_optimize!(
         mock,
-        (mock::MOIU.MockOptimizer) -> MOIU.mock_optimize!(mock, T[1, 2]),
+        (mock::MOIU.MockOptimizer) -> MOIU.mock_optimize!(mock, T[2, 1]),
     )
     return
 end