Merge pull request #4022 from JuliaReach/schillic/random_tests

schillic · web-flow · commit 7ebe6e99b8be · 2025-09-11T19:00:12.000+02:00
Fix valid random seed in tests
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)
 
