Add more modification tests

Author: odow

src/Test/UnitTests/modifications.jl

@@ -82,8 +82,8 @@ modificationtests["solve_set_scalaraffine_lessthan"] = solve_set_scalaraffine_le
 """
     solve_coef_scalaraffine_lessthan(model::MOI.ModelLike, config::TestConfig)
 
-Test modifying set of ScalarAffineFunction-in-LessThan constraint. If
-`config.solve=true` confirm that it solves correctly, and if
+Test modifying a variable coefficient in a ScalarAffineFunction-in-LessThan
+constraint. If `config.solve=true` confirm that it solves correctly, and if
 `config.duals=true`, check that the duals are computed correctly.
 """
 function solve_coef_scalaraffine_lessthan(model::MOI.ModelLike, config::TestConfig)
@@ -119,13 +119,55 @@ end
 modificationtests["solve_coef_scalaraffine_lessthan"] = solve_coef_scalaraffine_lessthan
 
 """
-    solve_coef_scalar_objective(model::MOI.ModelLike, config::TestConfig)
+    solve_const_vectoraffine_nonpos(model::MOI.ModelLike, config::TestConfig)
 
-Test modifying set of ScalarAffineFunction-in-LessThan constraint. If
-`config.solve=true` confirm that it solves correctly, and if
+Test modifying the constant term in a VectorAffineFunction-in-Nonpositives
+constraint. If `config.solve=true` confirm that it solves correctly, and if
 `config.duals=true`, check that the duals are computed correctly.
 """
-function solve_coef_scalar_objective(model::MOI.ModelLike, config::TestConfig)
+function solve_const_vectoraffine_nonpos(model::MOI.ModelLike, config::TestConfig)
+    MOI.empty!(model)
+    MOIU.loadfromstring!(model,"""
+        variables: x, y
+        maxobjective: 1.0x + 2.0y
+    """)
+    x = MOI.get(model, MOI.VariableIndex, "x")
+    y = MOI.get(model, MOI.VariableIndex, "y")
+    c = MOI.addconstraint!(model,
+            MOI.VectorAffineFunction([
+                    MOI.VectorAffineTerm(1, MOI.ScalarAffineTerm(1.0, x)),
+                    MOI.VectorAffineTerm(2, MOI.ScalarAffineTerm(2.0, y))
+                ],
+                [0.0, 0.0]
+            ),
+            MOI.Nonpositives(2)
+        )
+    if config.solve
+        test_model_solution(model, config;
+            objective_value   = 0.0,
+            variable_primal   = [(x, 0.0), (y, 0.0)],
+            constraint_primal = [(c, [0.0, 0.0])]
+        )
+    end
+    @test MOI.canmodify(model, typeof(c), MOI.VectorConstantChange{Float64})
+    MOI.modify!(model, c, MOI.VectorConstantChange([-1.0, -1.5]))
+    if config.solve
+        test_model_solution(model, config;
+            objective_value   = 2.5,
+            variable_primal   = [(x, 1.0), (y, 0.75)],
+            constraint_primal = [(c, [0.0, 0.0])]
+        )
+    end
+end
+modificationtests["solve_const_vectoraffine_nonpos"] = solve_const_vectoraffine_nonpos
+
+"""
+    solve_const_scalar_objective(model::MOI.ModelLike, config::TestConfig)
+
+Test the constant of a scalaraffine objective. If `config.solve=true` confirm
+that it solves correctly.
+"""
+function solve_const_scalar_objective(model::MOI.ModelLike, config::TestConfig)
     MOI.empty!(model)
     MOIU.loadfromstring!(model,"""
         variables: x
@@ -154,6 +196,43 @@ function solve_coef_scalar_objective(model::MOI.ModelLike, config::TestConfig)
         )
     end
 end
+modificationtests["solve_const_scalar_objective"] = solve_const_scalar_objective
+
+"""
+    solve_coef_scalar_objective(model::MOI.ModelLike, config::TestConfig)
+
+Test modifying a variable coefficient in a scalaraffine objective. If
+`config.solve=true` confirm that it solves correctly.
+"""
+function solve_coef_scalar_objective(model::MOI.ModelLike, config::TestConfig)
+    MOI.empty!(model)
+    MOIU.loadfromstring!(model,"""
+        variables: x
+        maxobjective: 1.0x
+        c1: 1.0x <= 1.0
+    """)
+    x = MOI.get(model, MOI.VariableIndex, "x")
+    if config.solve
+        test_model_solution(model, config;
+            objective_value   = 1.0,
+            variable_primal   = [(x, 1.0)]
+        )
+    end
+    @test MOI.canmodify(model,
+        MOI.ObjectiveFunction{MOI.ScalarAffineFunction{Float64}}(),
+        MOI.ScalarCoefficientChange{Float64}
+    )
+    MOI.modify!(model,
+        MOI.ObjectiveFunction{MOI.ScalarAffineFunction{Float64}}(),
+        MOI.ScalarCoefficientChange(x, 3.0)
+    )
+    if config.solve
+        test_model_solution(model, config;
+            objective_value   = 3.0,
+            variable_primal   = [(x, 1.0)]
+        )
+    end
+end
 modificationtests["solve_coef_scalar_objective"] = solve_coef_scalar_objective
 
 @moitestset modification

test/Test/unit.jl

@@ -226,6 +226,28 @@ end
         )
         MOIT.solve_coef_scalaraffine_lessthan(mock, config)
     end
+    @testset "solve_const_vectoraffine_nonpos" begin
+        MOIU.set_mock_optimize!(mock,
+            (mock::MOIU.MockOptimizer) -> MOIU.mock_optimize!(mock,
+                MOI.Success, (MOI.FeasiblePoint, [0.0, 0.0])
+            ),
+            (mock::MOIU.MockOptimizer) -> MOIU.mock_optimize!(mock,
+                MOI.Success, (MOI.FeasiblePoint, [1.0, 0.75])
+            )
+        )
+        MOIT.solve_const_vectoraffine_nonpos(mock, config)
+    end
+    @testset "solve_const_scalar_objective" begin
+        MOIU.set_mock_optimize!(mock,
+            (mock::MOIU.MockOptimizer) -> MOIU.mock_optimize!(mock,
+                MOI.Success, (MOI.FeasiblePoint, [1.0])
+            ),
+            (mock::MOIU.MockOptimizer) -> MOIU.mock_optimize!(mock,
+                MOI.Success, (MOI.FeasiblePoint, [1.0])
+            )
+        )
+        MOIT.solve_const_scalar_objective(mock, config)
+    end
     @testset "solve_coef_scalar_objective" begin
         MOIU.set_mock_optimize!(mock,
             (mock::MOIU.MockOptimizer) -> MOIU.mock_optimize!(mock,