Update runtests.jl

odow · web-flow · commit 375f79c694de · 2024-07-17T13:25:16.000+12:00
diff --git a/test/runtests.jl b/test/runtests.jl
@@ -1170,7 +1170,7 @@ end
 function test_moi_tests()
     model = MOI.Utilities.CachingOptimizer(
         MOI.Utilities.Model{Int}(),
-        MiniZinc.Optimizer{Int}("chuffed"),
+        MiniZinc.Optimizer{Int}("highs"),
     )
     config = MOI.Test.Config(Int)
     MOI.Test.runtests(model, config, include = String["test_cpsat_"])

Original file line number	Diff line number	Diff line change
`@@ -1170,7 +1170,7 @@ end`
`1170`	`1170`	`function test_moi_tests()`
`1171`	`1171`	`model = MOI.Utilities.CachingOptimizer(`
`1172`	`1172`	`MOI.Utilities.Model{Int}(),`
`1173`		`- MiniZinc.Optimizer{Int}("chuffed"),`
	`1173`	`+ MiniZinc.Optimizer{Int}("highs"),`
`1174`	`1174`	`)`
`1175`	`1175`	`config = MOI.Test.Config(Int)`
`1176`	`1176`	`MOI.Test.runtests(model, config, include = String["test_cpsat_"])`