fix issue #706

Author: goulart-paul

src/MOI_wrapper.jl

@@ -149,6 +149,11 @@ end
 MOI.is_empty(optimizer::Optimizer) = optimizer.inner.isempty
 
 function MOI.copy_to(dest::Optimizer, src::MOI.ModelLike)
+
+    #check all model/variable/constraint attributes to
+    #ensure that everything passed is handled by the solver
+    copy_to_check_attributes(dest,src)
+
     MOI.empty!(dest)
     idxmap = MOIU.IndexMap(dest, src)
     assign_constraint_row_ranges!(dest.rowranges, idxmap, src)
@@ -167,6 +172,45 @@ function MOI.copy_to(dest::Optimizer, src::MOI.ModelLike)
     return idxmap
 end
 
+function copy_to_check_attributes(dest, src)
+
+    #allowable model attributes
+    for attr in MOI.get(src, MOI.ListOfModelAttributesSet())
+        if attr == MOI.Name()           ||
+           attr == MOI.ObjectiveSense() ||
+           attr isa MOI.ObjectiveFunction
+            continue
+        end
+        throw(MOI.UnsupportedAttribute(attr))
+    end
+
+    #allowable variable attributes
+    for attr in MOI.get(src, MOI.ListOfVariableAttributesSet())
+        if attr == MOI.VariableName() || 
+           attr == MathOptInterface.VariablePrimalStart()
+            continue
+        end
+        throw(MOI.UnsupportedAttribute(attr))
+    end
+
+    #allowable constraint types and attributes
+    for (F, S) in MOI.get(src, MOI.ListOfConstraintTypesPresent())
+        if !MOI.supports_constraint(dest, F, S)
+            throw(MOI.UnsupportedConstraint{F, S}())
+        end
+        for attr in MOI.get(src, MOI.ListOfConstraintAttributesSet{F, S}())
+            if attr == MOI.ConstraintName() || 
+               attr == MOI.ConstraintDualStart()
+                continue
+            end
+            throw(MOI.UnsupportedAttribute(attr))
+        end
+    end
+
+    return nothing
+end
+
+
 """
 Set up index map from `src` variables and constraints to `dest` variables and constraints.
 """

test/MOI_wrapper.jl

@@ -61,28 +61,28 @@ function test_runtests()
     MOI.Test.runtests(
         model,
         config,
-        exclude = String[
+        exclude = Union{String, Regex}[
             "test_attribute_SolverVersion",
             # Expected test failures:
             #   MathOptInterface.jl issue #1431
             "test_model_LowerBoundAlreadySet",
             "test_model_UpperBoundAlreadySet",
             # FIXME
             # See https://github.com/jump-dev/MathOptInterface.jl/issues/1773
-            "test_infeasible_MAX_SENSE",
-            "test_infeasible_MAX_SENSE_offset",
-            "test_infeasible_MIN_SENSE",
-            "test_infeasible_MIN_SENSE_offset",
-            "test_infeasible_affine_MAX_SENSE",
-            "test_infeasible_affine_MAX_SENSE_offset",
-            "test_infeasible_affine_MIN_SENSE",
-            "test_infeasible_affine_MIN_SENSE_offset",
+            r"^test_infeasible_MAX_SENSE$",
+            r"test_infeasible_MAX_SENSE_offset$",
+            r"^test_infeasible_MIN_SENSE$",
+            r"test_infeasible_MIN_SENSE_offset$",
+            r"^test_infeasible_affine_MAX_SENSE$",
+            r"test_infeasible_affine_MAX_SENSE_offset$",
+            r"^test_infeasible_affine_MIN_SENSE$",
+            r"test_infeasible_affine_MIN_SENSE_offset$",
             # FIXME
             # See https://github.com/jump-dev/MathOptInterface.jl/issues/1759
-            "test_unbounded_MAX_SENSE",
-            "test_unbounded_MAX_SENSE_offset",
-            "test_unbounded_MIN_SENSE",
-            "test_unbounded_MIN_SENSE_offset",
+            r"test_unbounded_MAX_SENSE$",
+            r"test_unbounded_MAX_SENSE_offset$",
+            r"^test_unbounded_MIN_SENSE$",
+            r"test_unbounded_MIN_SENSE_offset$",
             # FIXME
             "test_model_copy_to_UnsupportedAttribute",
             # Segfault