use dynamic RNG seed in tests

schillic · schillic · commit f9f02ce552ba · 2025-08-22T15:46:00.000+02:00
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
