Merge pull request #29 from JuliaReach/schillic-patch-1

Allow ReachabilityAnalysis v0.26
JuliaReach · Jun 2, 2024 · 18d955d · 18d955d
2 parents 56855ac + b00e0a3
commit 18d955d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/Project.toml b/test/Project.toml
@@ -17,4 +17,4 @@ IntervalConstraintProgramming = "0.9 - 0.13"
 LazySets = "2.13"
 Optim = "1"
 Polyhedra = "0.6 - 0.7"
-ReachabilityAnalysis = "0.22 - 0.25"
+ReachabilityAnalysis = "0.22 - 0.26"