Skip to content

Commit

Permalink
Update runtests.jl
Browse files Browse the repository at this point in the history
  • Loading branch information
odow authored Jun 13, 2024
1 parent 68348b3 commit 0877efe
Showing 1 changed file with 1 addition and 5 deletions.
6 changes: 1 addition & 5 deletions test/runtests.jl
Original file line number Diff line number Diff line change
Expand Up @@ -1197,11 +1197,7 @@ function test_model_filename()
@test MOI.get(solver, MOI.TerminationStatus()) === MOI.OPTIMAL
@test MOI.get(solver, MOI.ResultCount()) >= 1
@test MOI.get(solver, MOI.VariablePrimal(), index_map[x]) in [1, 2, 3]
_test_file_contents(
"test.mzn",
"var 1 .. 3: x1;\n",
"solve satisfy;\n",
)
_test_file_contents("test.mzn", "var 1 .. 3: x1;\n", "solve satisfy;\n")
rm("test.mzn")
return
end
Expand Down

0 comments on commit 0877efe

Please sign in to comment.