update runtests

PBrdng · PBrdng · commit 3aae8bcd9ff5 · 2024-09-12T16:41:07.000+02:00
diff --git 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

Original file line number	Diff line number	Diff line change
`@@ -133,7 +133,7 @@ end`
`133`	`133`	`2 - 2 * x - 2 * y - 3 * z + (2 - x + 4 * z)^2 + (2 + 3 * x + y + 2 * z)^2,`
`134`	`134`	`1 - 3 * x + 3 * y - 3 * z + (1 - 2 * y + 2 * z)^2 + (2 + x + 4 * y)^2,`
`135`	`135`	`]`
`136`		`- R = regions(f; bounded_check = true)`
	`136`	`+ R = regions(f; bounded_check = true, seed = 0x9914a145)`
`137`	`137`	`@test nbounded(R) == 1`
`138`	`138`	`@test nunbounded(R) + nundecided(R) == 5`
`139`	`139`	`end`