Merge pull request #4013 from JuliaReach/schillic/rng

schillic · web-flow · commit 1b6adb0a3279 · 2025-09-02T08:36:40.000+02:00
Use dynamic RNG seed in tests
diff --git a/test/runtests.jl b/test/runtests.jl
@@ -41,7 +41,9 @@ using LazySets
 
 # fix seed of random number generator (for reproducibility)
 using Random
-Random.seed!(1234)
+seed = rand(Int)
+println("using random seed $seed")
+Random.seed!(seed)
 
 # optional dependencies
 @ts begin
