Skip to content

Commit

Permalink
update runtests
Browse files Browse the repository at this point in the history
  • Loading branch information
PBrdng committed Sep 12, 2024
1 parent 6bdd964 commit 3aae8bc
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion test/runtests.jl
Original file line number Diff line number Diff line change
Expand Up @@ -133,7 +133,7 @@ end
2 - 2 * x - 2 * y - 3 * z + (2 - x + 4 * z)^2 + (2 + 3 * x + y + 2 * z)^2,
1 - 3 * x + 3 * y - 3 * z + (1 - 2 * y + 2 * z)^2 + (2 + x + 4 * y)^2,
]
R = regions(f; bounded_check = true)
R = regions(f; bounded_check = true, seed = 0x9914a145)
@test nbounded(R) == 1
@test nunbounded(R) + nundecided(R) == 5
end

0 comments on commit 3aae8bc

Please sign in to comment.