Fixes

Author: blegat

src/Bridges/Bridges.jl

@@ -307,11 +307,12 @@ function _test_dual(
     Bridge::Type{<:AbstractBridge},
     input_fn::Function;
     dual,
+    eltype,
     model_eltype,
 )
     inner = MOI.Utilities.UniversalFallback(MOI.Utilities.Model{model_eltype}())
     mock = MOI.Utilities.MockOptimizer(inner)
-    model = _bridged_model(Bridge{model_eltype}, mock)
+    model = _bridged_model(Bridge{eltype}, mock)
     input_fn(model)
     final_touch(model)
     # Should be able to call final_touch multiple times.
@@ -331,13 +332,10 @@ function _test_dual(
             MOI.set(model, MOI.ConstraintDual(), ci, _fake_start(dual, set))
         end
     end
-    model_dual = MOI.Utilities.get_fallback(
-        model,
-        MOI.DualObjectiveValue(),
-        model_eltype,
-    )
+    model_dual =
+        MOI.Utilities.get_fallback(model, MOI.DualObjectiveValue(), eltype)
     mock_dual =
-        MOI.Utilities.get_fallback(mock, MOI.DualObjectiveValue(), model_eltype)
+        MOI.Utilities.get_fallback(mock, MOI.DualObjectiveValue(), eltype)
     # Need `atol` in case one of them is zero and the other one almost zero
     Test.@test model_dual ≈ mock_dual atol = 1e-6
 end
@@ -455,7 +453,7 @@ function _runtests(
     end
     if !isnothing(dual)
         Test.@testset "Test ConstraintDual" begin
-            _test_dual(Bridge, input_fn; dual, model_eltype)
+            _test_dual(Bridge, input_fn; dual, eltype, model_eltype)
         end
     end
     return

src/Utilities/results.jl

@@ -88,9 +88,14 @@ function _dual_objective_value(
     )
 end
 
+_lower(set::MOI.Interval, ::Type) = set.lower
+_upper(set::MOI.Interval, ::Type) = set.upper
+_lower(::MOI.ZeroOne, ::Type{T}) where {T} = zero(T)
+_upper(::MOI.ZeroOne, ::Type{T}) where {T} = one(T)
+
 function _dual_objective_value(
     model::MOI.ModelLike,
-    ci::MOI.ConstraintIndex{<:MOI.AbstractScalarFunction,<:MOI.Interval},
+    ci::MOI.ConstraintIndex{<:MOI.AbstractScalarFunction,<:Union{MOI.ZeroOne,MOI.Interval}},
     ::Type{T},
     result_index::Integer,
 ) where {T}
@@ -100,10 +105,10 @@ function _dual_objective_value(
     if dual < zero(dual)
         # The dual is negative so it is in the dual of the MOI.LessThan cone
         # hence the upper bound of the Interval set is tight
-        constant -= set.upper
+        constant -= _upper(set, T)
     else
         # the lower bound is tight
-        constant -= set.lower
+        constant -= _lower(set, T)
     end
     return set_dot(constant, dual, set)
 end

test/Bridges/Constraint/ScalarFunctionizeBridge.jl

@@ -317,6 +317,7 @@ function test_FunctionConversionBridge()
         variables: x, y
         ScalarNonlinearFunction(1.0 * x * x + 2.0 * x * y + 3.0 * y + 4.0) >= 1.0
         """,
+        dual = nothing, # `get_fallback` ignores the constant `4.0` of the function
     )
     # VectorAffineFunction -> VectorQuadraticFunction
     MOI.Bridges.runtests(