fix valid random seed in tests

schillic · schillic · commit 03431775219a · 2025-09-11T18:26:44.000+02:00
diff --git a/test/runtests.jl b/test/runtests.jl
@@ -41,7 +41,7 @@ using LazySets
 
 # fix seed of random number generator (for reproducibility)
 using Random
-seed = rand(Int)
+seed = max(abs(rand(Int)), 0)
 println("using random seed $seed")
 Random.seed!(seed)
 
