From 3aae8bcd9ff56377b8e2b477fe3754437e16cb04 Mon Sep 17 00:00:00 2001 From: PBrdng Date: Thu, 12 Sep 2024 16:41:07 +0200 Subject: [PATCH] update runtests --- test/runtests.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/runtests.jl b/test/runtests.jl index 91afac7..bf68b5d 100644 --- a/test/runtests.jl +++ b/test/runtests.jl @@ -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