Skip to content

Commit af9cd85

Browse files
committed
Add test
1 parent 87da4df commit af9cd85

File tree

1 file changed

+8
-0
lines changed

1 file changed

+8
-0
lines changed

test/runtests.jl

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1696,6 +1696,14 @@ function test_integer_bounds_less_than_than()
16961696
index_map, _ = MOI.optimize!(mzn, model)
16971697
@test MOI.get(mzn, MOI.TerminationStatus()) == MOI.OPTIMAL
16981698
@test MOI.get(mzn, MOI.VariablePrimal(), index_map[x]) == 1
1699+
end
1700+
1701+
function test_minizincset()
1702+
set = MiniZinc.MiniZincSet("diffn", [1:2, 3:4, 5:6, 7:8])
1703+
@test MOI.dimension(set) == 8
1704+
model = MOI.Utilities.UniversalFallback(MOI.Utilities.Model{Float64}())
1705+
x, _ = MOI.add_constrained_variables(model, set)
1706+
@test length(x) == 8
16991707
return
17001708
end
17011709

0 commit comments

Comments
 (0)