tests cases with infinite bounds

Author: guimarqu

src/Test/UnitTests/constraints.jl

@@ -514,3 +514,102 @@ function solve_zero_one_with_bounds_3(model::MOI.ModelLike, config::TestConfig)
     end
 end
 unittests["solve_zero_one_with_bounds_3"] = solve_zero_one_with_bounds_3
+
+function solve_constrs_with_inf_bounds(model::MOI.ModelLike, config::TestConfig)
+    MOI.empty!(model)
+    x = MOI.add_variable(model)
+    y = MOI.add_variable(model)
+    objective_function = MOI.ScalarAffineFunction(
+        [MOI.ScalarAffineTerm(1.0, x), MOI.ScalarAffineTerm(-1.0, y)], 
+        0.0
+    )
+    MOI.set(
+        model,
+        MOI.ObjectiveFunction{typeof(objective_function)}(),
+        objective_function,
+    )
+    MOI.set(model, MOI.ObjectiveSense(), MOI.MAX_SENSE)
+
+    c1 = MOI.add_constraint(
+        model, 
+        MOI.SingleVariable(x), 
+        MOI.LessThan{Float64}(1.0)
+    )
+    c2 = MOI.add_constraint(
+        model, 
+        MOI.SingleVariable(x), 
+        MOI.GreaterThan{Float64}(-Inf)
+    )
+    c3 = MOI.add_constraint(
+        model, 
+        MOI.SingleVariable(y), 
+        MOI.LessThan{Float64}(Inf)
+    )
+    c4 = MOI.add_constraint(
+        model, 
+        MOI.SingleVariable(y), 
+        MOI.GreaterThan{Float64}(-1.0)
+    )
+
+    @test MOI.is_valid(model, c2)
+    @test MOI.is_valid(model, c3)
+
+    return test_model_solution(
+        model,
+        config;
+        objective_value = 2.0,
+        variable_primal = [(x, 1.0), (y, -1.0)],
+    )
+end
+unittests["solve_constrs_with_inf_bounds"] = solve_constrs_with_inf_bounds
+
+function solve_one_sided_intervals(model::MOI.ModelLike, config::TestConfig)
+    MOI.empty!(model)
+    MOIU.loadfromstring!(
+        model,
+        """
+    variables: x, y, z
+    maxobjective: x + -1y + z
+    c1: x in Interval(-Inf, 1.0)
+    c2: y in Interval(-1.0, Inf)
+    c3: z in Interval(-Inf, Inf)
+    c4: 1z <= 1.0
+""",
+    )
+
+    x = MOI.get(model, MOI.VariableIndex, "x")
+    y = MOI.get(model, MOI.VariableIndex, "y")
+    z = MOI.get(model, MOI.VariableIndex, "z")
+
+    c1 = MOI.get(
+        model,
+        MOI.ConstraintIndex{MOI.SingleVariable, MOI.Interval{Float64}},
+        "c1"
+    )
+    c2 = MOI.get(
+        model,
+        MOI.ConstraintIndex{MOI.SingleVariable, MOI.Interval{Float64}},
+        "c2"
+    )
+    c3 = MOI.get(
+        model,
+        MOI.ConstraintIndex{MOI.SingleVariable, MOI.Interval{Float64}},
+        "c3"
+    )
+
+    @test MOI.get(model, MOI.ConstraintIndex, "c1") == c1
+    @test MOI.get(model, MOI.ConstraintIndex, "c2") == c2
+    @test MOI.get(model, MOI.ConstraintIndex, "c3") == c3
+    
+    @test MOI.is_valid(model, c1)
+    @test MOI.is_valid(model, c2)
+    @test MOI.is_valid(model, c3)
+
+    return test_model_solution(
+        model,
+        config;
+        objective_value = 3.0,
+        variable_primal = [(x, 1.0), (y, -1.0), (z, 1.0)],
+    )
+end
+unittests["solve_one_sided_intervals"] = solve_one_sided_intervals

test/Test/unit.jl

@@ -45,6 +45,8 @@ end
             "solve_zero_one_with_bounds_1",
             "solve_zero_one_with_bounds_2",
             "solve_zero_one_with_bounds_3",
+            "solve_constrs_with_inf_bounds",
+            "solve_one_sided_intervals",
             "solve_unbounded_model",
             "solve_single_variable_dual_min",
             "solve_single_variable_dual_max",