Skip to content

Commit 1d34415

Browse files
authored
Fix tests to allow N=52 or N=92 for N-Queens (#91)
1 parent 048f6e4 commit 1d34415

File tree

1 file changed

+9
-9
lines changed

1 file changed

+9
-9
lines changed

test/runtests.jl

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -1796,17 +1796,14 @@ end
17961796
function _test_nqueens_solve_num_solutions(
17971797
model,
17981798
q,
1799-
# This value is wrong due to a bug in [email protected]. If it is fixed in
1800-
# the future, the true value should be 92.
1801-
# See https://github.com/jump-dev/MiniZinc.jl/issues/84 for details.
1802-
actual_count = 52,
1799+
actual_count::Vector,
18031800
termination_status = MOI.OPTIMAL,
18041801
)
18051802
n = 8
18061803
MOI.optimize!(model)
18071804
@test MOI.get(model, MOI.TerminationStatus()) === termination_status
18081805
res_count = MOI.get(model, MOI.ResultCount())
1809-
@test res_count == actual_count
1806+
@test res_count in actual_count
18101807
for i in 1:res_count
18111808
q_sol = MOI.get(model, MOI.VariablePrimal(i), q)
18121809
@test allunique(q_sol)
@@ -1821,27 +1818,30 @@ end
18211818
function test_example_nqueens_solve_num_solutions_100()
18221819
model, q = _init_nqueens_solve_num_solutions()
18231820
MOI.set(model, MOI.SolutionLimit(), 100)
1824-
_test_nqueens_solve_num_solutions(model, q)
1821+
# This value is wrong due to a bug in [email protected]. If it is fixed in
1822+
# the future, the true value should be 92.
1823+
# See https://github.com/jump-dev/MiniZinc.jl/issues/84 for details.
1824+
_test_nqueens_solve_num_solutions(model, q, [52, 92])
18251825
return
18261826
end
18271827

18281828
function test_example_nqueens_solve_num_solutions_25()
18291829
model, q = _init_nqueens_solve_num_solutions()
18301830
MOI.set(model, MOI.SolutionLimit(), 25)
1831-
_test_nqueens_solve_num_solutions(model, q, 25, MOI.SOLUTION_LIMIT)
1831+
_test_nqueens_solve_num_solutions(model, q, [25], MOI.SOLUTION_LIMIT)
18321832
return
18331833
end
18341834

18351835
function test_example_nqueens_solve_num_solutions_not_set()
18361836
model, q = _init_nqueens_solve_num_solutions()
1837-
_test_nqueens_solve_num_solutions(model, q, 1)
1837+
_test_nqueens_solve_num_solutions(model, q, [1])
18381838
return
18391839
end
18401840

18411841
function test_example_nqueens_solve_num_solutions_1()
18421842
model, q = _init_nqueens_solve_num_solutions()
18431843
MOI.set(model, MOI.SolutionLimit(), 1)
1844-
_test_nqueens_solve_num_solutions(model, q, 1, MOI.SOLUTION_LIMIT)
1844+
_test_nqueens_solve_num_solutions(model, q, [1], MOI.SOLUTION_LIMIT)
18451845
return
18461846
end
18471847

0 commit comments

Comments
 (0)