Update to latest MOI master

Author: odow

Manifest.toml

@@ -49,8 +49,8 @@ uuid = "d6f4376e-aef5-505a-96c1-9c027394607a"
 
 [[MathOptInterface]]
 deps = ["BenchmarkTools", "LinearAlgebra", "OrderedCollections", "SparseArrays", "Test", "Unicode"]
-git-tree-sha1 = "bb9af760fef8eb5d0dea3823b055037cda1c8cc5"
-repo-rev = "od/cleverdict"
+git-tree-sha1 = "04a670c6706e1bb2dbb9f8832c2b39072de672b4"
+repo-rev = "master"
 repo-url = "https://github.com/JuliaOpt/MathOptInterface.jl.git"
 uuid = "b8f27783-ece8-5eb3-8dc8-9495eed66fee"
 version = "0.9.0"

test/MOI_wrapper.jl

@@ -12,8 +12,23 @@ const CONFIG = MOIT.TestConfig()
     MOIT.basic_constraint_tests(OPTIMIZER, CONFIG)
     MOIT.unittest(OPTIMIZER, CONFIG, [
         # These are excluded because GLPK does not support quadratics.
-        "solve_qp_edge_cases", "solve_qcp_edge_cases"
+        "solve_qp_edge_cases", "solve_qcp_edge_cases",
+        "solve_zero_one_with_bounds_3"
     ])
+    @testset "solve_zero_one_with_bounds_3" begin
+        MOI.empty!(OPTIMIZER)
+        MOI.Utilities.loadfromstring!(OPTIMIZER,"""
+            variables: x
+            maxobjective: 2.0x
+            c1: x in ZeroOne()
+            c2: x >= 0.2
+            c3: x <= 0.5
+        """)
+        MOI.optimize!(OPTIMIZER)
+        # We test this here because the TerminationStatus is INVALID_MODEL not
+        # INFEASIBLE.
+        @test MOI.get(OPTIMIZER, MOI.TerminationStatus()) == MOI.INVALID_MODEL
+    end
     MOIT.modificationtest(OPTIMIZER, CONFIG)
 end