Merge pull request #3 from licioromao/master

Fixing issues between JuMP and GLPK
sisl · Jun 12, 2024 · aa36798 · aa36798
2 parents c1099f2 + 1d3ed7a
commit aa36798
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/src/OVERTVerify.jl b/src/OVERTVerify.jl
@@ -3,6 +3,7 @@ module OVERTVerify
 include("dependencies.jl")
 
 export OvertQuery,
+
     SinglePendulum,
     ACC,
     SimpleCar,

diff --git a/src/overt_to_mip.jl b/src/overt_to_mip.jl
@@ -48,7 +48,7 @@ end
 function OvertMIP(overt_app::OverApproximation; threads=0, model=DEFAULT_MODEL)
     if model == "glpk" || model == "GLPK"
         model = Model(GLPK.Optimizer)
-        set_optimizer_attribute(model, "msg_lev", GLPK.MSG_OFF)                         
+        set_optimizer_attribute(model, "msg_lev", GLPK.GLP_MSG_OFF)                         
     elseif model == "gurobi" || model == "Gurobi"
         println("Calling OvertMIP constructor with Gurobi.")
         model = gurobi_model(threads) # if Gurobi hasn't been loaded this will fail